ユークリッドは、無限個の素数が存在することを示したが、ある数、特に大きな数が素数であるか否かを決める充分な方法を見つけることは非常に困難である。
欧几里得证明了质数有无限多个，可是很难找到可以快速判定一个整数是否是质数的方法（特别是整数很大时）。