。为了确保该定理的唯一性，1被定义为不是质数，因为在因式分解中可以有任意多个1（如3、1×3、1×1×3等都是3的有效因数分解）。古希腊数学家欧几里得于公元前300年前后证明有无限多个质数存在（欧几里得定理）。现时人们已发现多种验证质数的方法。其中试除法比较简单，但需时较长：设被测试的自然数为formula_1，使用此方法者需逐一测试2与formula_2之间的整数，确保它们无一能整除n。对于较大或一些具特别形式（如梅森数）的自然数，人们通常使用较有效率的演算法测试其是否为质数（例如2-1是直至2018