Category:Torricelli Yau lemmas