証明するのに1万ページも要するようだと
さすがの専門家も「もうちょっとなんとかならんのか」と
いう心境にはなるだろう。