今回の南出望月星フェセンコの進展(上の3/2+ε)によってnが十分大きいフェルマー予想とかも出る。しかもこのnも明示出来る。