Teza:

Chcemy wykazać, że wartość wyrażenia  jest podzielna przez .

Chcemy pokazać, że liczba  jest dzielnikiem wartości tego wyrażenia. 

Czyli chcemy pokazać, że przy rozbiciu wyniku tego wyrażenia