>>686
不定を用いない完全だと思われる証明になりました。

Pdf文書
http://fast-uploader.com/file/7078641845551/