2つの三角形において、対応する頂点を結ぶ3直線が1点で交わるとき、対応する辺の交点は一直線上にある。

$x^n + y^n = z^n$ を満たす自然数解の検討において、$n$ が奇素数の場合を証明したのは誰か。