Stosujemy dowód nie wprost. Jeżeli wynik będzie sprzeczny z informacjami z zadania, to nasze założenie jest fałszywe, czyli prawdziwe jest twierdzenie doń odwrotne. Jeżeli wynik rozumowania doprowadza