次を示してください。
n|mk−1 ⇔GCD(n,k)=1
a|b bはaで割り切れる。  GCD(a,b) aとbの最大公約数