「mod9」で見る ピタゴラスとフェルマーの最終定理