早在2000多年前，欧几里德就证明了素数。从那时起，已经设计了几十个证明，下面我们提供其中几个链接。（注意：[里宾博伊姆95]给出十一个！）
我最喜欢的是库默变异欧几里德的证明。也许最奇怪的是费尔斯坦伯格拓扑证明。看看他们，看看你喜欢哪一个。