證明：質數有無限多個。

反證法。

若質數有限，則M!+1不能被任何數整除（M是最大質數）。

證畢。