>>330
フェルマーの定理の別証は、系3.12を前提しているので
系3.12の証明とは全くかかわりがありません