W treści polecenia przedstawiono:

Założenia:

, czyli: 

oraz:

Teza:

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

Wtedy możemy ją przekształcić, mnożąc obie strony