Schwartz lemma