フェルマーの最終定理のn=4の場合の証明をMathlogに投稿しました