数学史に残る証明となるので、完全性を追求しました