Fermat's Last Theorem
アンドリュー・ワイルズによるフェルマーの最終定理の証明には、肥田理論が使用されている。