서로소 a, n 서로소 a, n이 존재한다. n에 대해, 1 부터 n - 1까지의 수들 중 n과 서로소인 수들을 모은 집합을 R이라 하자.R = { r in N | gcd(r, n) = 1, 1 이 모든 r을 곱한 값을 Rk라 둔다.이제 이 집합 R에 모든 원소에 a를 곱한다.Ra = {ar1, ar2, ar3 ... ark}이때 Rk = Rk * a^ϕ(n) mod n 이고 양변에 R를 나눠 a ^ ϕ(n) mod n = 1 이게 자명하려면 n과 서로소인 수 r의 집합의 모든 값의 곱과 Ra의 모든 원소의 곱이 같아야 한다.Lemma 1. Ra의 모든 원소의 mod n 은 다르다. Ra = {ar1, ar2 ... ark} 에 대해어떤 수 ari, arj가 mod n에 대해 같은 값을 가진..