>>982 人間にとって、というのは数学でも同じです。
長くて難しくて先行き透明で無い証明より、
短くて易しくて透明で応用の効く証明が
良い証明とされるのと全く同じこと