>>347
>その気になれば初等的な証明ができるところまで進んでいる感じがするがね。
やってごらん