Category:Araki lemmas