大型コンピュータを大々的に使い、印刷すれば、５００ページにも達すると言う。
そんなものが、果たして、「証明」と呼べるのか？？？？

もっとエレガントな証明は無いものか・・・・