Teorema: Sejam a, b e c números inteiros. Então: Se a|b e a|c, então a|(b+c). Se a|b, então a|b.c, para qualquer inteiro c. Se a|b e b|c, então a|c.

O teorema apresentado é conhecido como Teorema Fundamental da Aritmética e é muito importante na teoria dos números. Ele afirma que qualquer número inteiro pode ser representado de forma única como um produto de números primos. As três proposições apresentadas são conhecidas como propriedades da divisibilidade e são muito úteis para provar outras propriedades dos números inteiros.