〔ABC予想〕
自然数 A<B は互いに素であるとし、A+B=C とおく。
任意のε>0 に対して あるK(ε) >0 が存在し、全ての組(A,B,C)について次が成り立つ。
　C < K(ε)･rad(ABC)^(1+ε),
ただし rad(x) は xのすべての素因数の積。

〔問題〕
ABC予想と K(1)≦1 を仮定して
「フェルマーの最終予想」(ワイルズ-テイラーの定理) (6乗以上の場合) を証明せよ。