あんな証明を読むのは趣味の領域。
読むのは老後の楽しみに取っておいて、結果をそのまま認めて使うのが賢い人間。