farkass lemma