>>372
何が自明かは各人により異なるので証明問題はスルーすることにしている。
プログラムネタにはしずらいので。
鳩の巣原理も量子物理の世界では自明ではないらしい。