フェルマーの定理について知りたい。

フェルマーの定理【フェルマーのていり】　コトバンク
http://kotobank.jp/word/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 　(2012/05/24確認)
ASCII.jpデジタル用語辞典
1640年にフランスのアマチュア数学者フェルマーが発表した、「nが2より大きい自然数ならば、xn＋yn=znとなる整数x、y、zの組は存在しない」という仮説のこと。300年以上経った1995年に、プリンストン大学の数学者アンドリュー・ワイルズによって、肯定的に証明された。
法則の辞典
フェルマーの定理　【Fermat's theorem】
p が素数で a が正の整数であるとき，a が p で割り切れないならば，ap－1－1は p で割り切れるという定理．

フェルマーの最終定理【ふぇるまーのさいしゅうていり】　コトバンク
http://kotobank.jp/word/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86 　(2012/05/24確認)
知恵蔵2011
17世紀、フランスの数学者フェルマー(P.Fermat)は、nを3以上の自然数とする時、不定方程式x^n+y^n=z^nはxyz≠0となる整数解をもたないであろうと予想した。これがフェルマーの最終定理と呼ばれるようになった予想。彼は、所有していた古代ギリシャの数学書『算術』(ディオファントス著)の余白に「私はこのことの真に驚くべき証明を発見したが、それを記すには余白が小さすぎる」という有名なラテン語のメモを残した。彼自身、無限降下法という論法を用いて、n=4の場合に証明したが、一般のnに対しては証明できていなかったといわれている。実際、多くの数学者の努力にもかかわらず300年以上の間、一般のnに対する解法を見つけることができなかったが、1994年、ワイルズ(A.Wiles)は、テイラー(R.L.Taylor)の協力を得てこの予想を証明した。・・・
法則の辞典
フェルマーの最終定理　【Fermat's last theorem】
n が3以上の場合，方程式 xn＋yn＝zn の自然数解は存在しないという定理．

フェルマー　コトバンク
http://kotobank.jp/word/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC 　(2012/05/24確認)
フェルマー【Pierre de Fermat】　1601‐66　世界大百科事典 第２版