Mathematical lemma