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ą