Category:Yir-Yoront lemmas