なんでフェルマーの定理を導ける命題を特別扱いしているのかわからん.
単に説明に便利っていう以外の理由はあるのか?