fatous lemma