補題とかいいながら補題書いてないとかただのキチガイだろ