>>20

確かに証明を見たときにある種の快感はあるのですが、こんな自明な命題に対してもっと簡単な証明が
あるだろうと思ってしまいますよね。

大げさというか。