証明がよくわからないのだが