귀류법으로 유명한 "소수의 개수는 무한히 많다" 증명법은 

사실 "소수의 개수가 유한하다는 가정을 참으로 삼을 때"만 거짓인게 맞는 증명법이다 

왜냐하면 2 X 3 X 5 X 7 X 11 X 13 + 1 = 30031은 59 X 509로 소인수분해가 되기 때문에.....