9不是质数。质数是约数只有一和本身的数。9的约数有1、3、9，并不是只有1和本身9，还有约数3，所以9不是质数。质数是指在大于1的自然数中，除了1和它本身以外不再有其他因数的自然数。

质数的个数是无穷的。欧几里得的《几何原本》中有一个经典的证明。

它使用了证明常用的方法：反证法。

具体证明如下：假设质数只有有限的n个，从小到大依次排列为p1，p2，……，pn，设N=p1*p2*……*pn，那么，是素数或者不是素数。