>>925

街頭で、

>>923

の命題が成りたつか成り立たないか？というクイズに正解したら、100万円もらえるという企画があったとします。

そのとき、この命題が成り立たないと答える人は一人もいないと思います。

つまり自明ということです。

そして、他の分野の数学書だったら、このような自明な命題の証明はわざわざ書かず「明らか」で済ますと思います。