W treści polecenia przedstawiono:

Założenia:

, czyli  

oraz:

, czyli 

Teza:

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

Wtedy możemy ją przekształcić,