소수가 유한할 때 모든 소수의 곱을 Q라고 하면...

 

 

마지막 식에서, 소수가 유한집합이라면 1+2Q는 최소한 한 개 이상의 소수로 나누어떨어질 수밖에 없다. 즉 sin kπ꼴로 변환 가능하며 이는 0.

모순이 생기므로 소수는 무한.

 

 

 

 

이 식 발견한 사람은 좀 천재인듯.