Zasadnicze twierdzenie arytmetyki

Niech liczby a, b, c należą do liczb całkowitych różnych od zera.
Jeśli a|bc i NWD(a, b) = 1 to a|c.

Twierdzenie to mówi, że liczba naturalna, będąca dzielnikiem iloczynu dwóch liczb naturalnych i pierwsza względem jednego z czynników, jest dzielnikiem drugiego czynnika.