W treści polecenia przedstawiono:

Założenia:

 oraz 

Teza:

Przeprowadźmy dowód wprost, czyli załóżmy, że zachodzi powyższa teza.

Wtedy możemy ją przekształcić, przenosząc wyrażenie z  na jedną