gcd(m,n)=1, qをn-1の素因数としたとき
nが３以上の素数ならば

m^(n-1)≡1 (mod n)は成り立つが
m^((n-1)/q)≡1 (mod n)は成り立たないことを示せ。

お願いします。