>>476

それは主目的ではない。相互律の探求が本来の目的。
詳しくは、EdwardsのFermat's Last Theoremを参照。