证明：质数有无限多个。

反证法。

若质数有限，则M!+1不能被任何数整除（M是最大质数）。

证毕。