補題をころころ変えるので証明が全然深まらない。ぐるぐる回ってる感じw