equusferus "フェルマーの最終定理" 2026年1月29日