Todo número inteiro a ≥ 2 possui pelo menos um divisor primo.

Essa afirmação é verdadeira e é conhecida como o Teorema Fundamental da Aritmética. Ele afirma que todo número inteiro maior ou igual a 2 pode ser escrito como um produto de números primos de forma única, a menos da ordem dos fatores. Portanto, todo número inteiro a ≥ 2 possui pelo menos um divisor primo.