15可以寫成2和13的兩個質數的和，質數又稱素數，是一個大於1的自然數，除了1和它自身外，不能被其他自然數整除的數就叫做質數，否則稱爲合數。質數的個數是無窮的。歐幾里得的《幾何原本》中有一個經典的證明。它使用了證明常用的方法：反證法。具體證明如下：假設質數只有有限的n個，從小到大依次排列爲p1，p2，……，pn，設N=p1×p2×……×pn，那麼，是素數或者不是素數。
