Optimized proof of Fermat's Last Theorem
https://mathlog.info/articles/gDEJH713CQ75s9CYxBMM
nが奇素数の場合の証明を追加しました。