ググったらこんなんあった
http://alg-d.com/math/number_theory/fermat.pdf
証明載ってるみたいだけど私には読めないorz