Dla dowolnych liczb naturalnych i , jeśli jest dzielnikiem , oznacza to, że istnieje liczba naturalna , taka że . Z drugiej strony, jeśli jest