フェルマーの小定理の拡張
人間は演繹では理解できない。帰納することでしか先へ進めない。訂正「対称化」⇒「対象化」
法を素数以外にしたときに、同じことが言えないか？
オイラーの小定理を導く
素数の場合はｐ－１個の積が一緒になったけど、
この場合のように９を法とすると、３や６の時は０（と３と６）が出てくる。
でも、それ以外は同じ値が繰り返されている。
とすると、３や６を除いた数の積は同じ値だ。
つまり、フェルマーの小定理（の拡張）を導くことができる。
オイラーはこうやって計算しながら表をつくり、法則を見つけていったのだろう。
９と互いに素な数の剰余の積は同じ値になる。
↓ つまり
１・２・４・５・７・８≡１ｍ・２ｍ・４ｍ・５ｍ・７ｍ・８ｍ (mod 9)
１・２・４・５・７・８≡ｍ６・１・２・４・５・７・８ (mod 9)
１≡ｍ６ (mod 9)
この６は９と互いに素な数の個数（９以下の）。
それをφ（ｎ）［オイラー関数］とすると、
ｍφ（ｎ）≡１ (mod ｎ)
が言えそう。