truth lemma