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.