소수 p,q에 대해서 order_q_(p)=p이면 order_q_(n)=p^k인 자연수 n은 존재하지 않는다.
이거 참인거 같은데 증명을 못하겟음. 도움좀..