1. p,q는 서로 다른 소수. 

2. gcd(b, pq)=p, gcd(b, q)=1 b가 존재

3. b^{(p-1)(q-1)+1}는 mod p에 대해서 0과 합동이며 mod q에 대해서 b와 합동. 

=> b^{(p-1)(q-1)+1}은 mod pq에 대해 b와 합동임을 보이기


아까 질문 올린거 조건을 제대로 안적어서 다시 올림요...