εの方じゃなく^2の方が解けるとabcを前提にフェルマーの初等的証明が得られるが、望月氏のはεの方らしい。