なんかあやしいわ
証明しました自称は、フェルマー大定理の証明にもよくあったよな