gcd(m,n)=d 이면 gcd(m/d,m/n)>1이라고 가정해보자 그러면 ad | m, ad | n을 만족하는 어떠한 a가 존재해서 서로소가 아니게된다. 따라서 gcd(m/d,m/n)=1이다.
