Aardvarks farkas lemma