Naszym zadaniem jest wykazać, że podana liczba jest podzielna przez , zatem musimy wykazać, że jest iloczynem liczby  oraz innej liczby całkowitej. 

Założenie:

Teza:

 jest