Teza:

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

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

Dowód:

Na początek upraszczamy wyrażenie.