Rozważ twierdzenie:
Niech i będą liczbami całkowitymi. Jeśli iloczyn jest liczbą nieparzystą, to liczby i są nieparzyste.
Uzupełnij poniższy dowód przeprowadzony metodą nie wprost przeciągając w wyznaczone miejsca odpowiednie wyrażenia.
Dowód:
, całkowitą, , , , jest liczbą nieparzystą, , parzystymi, , , nieparzystymi, , , , , , jest liczbą parzystą, , , , całkowitą
Zanegujmy tezę, czyli załóżmy, że i są liczbami .
Można więc zapisać, że , gdzie jest liczbą i , gdzie jest liczbą .
Tak więc
Stąd wnioskujemy, że , co przeczy założeniu.
Tak więc udowodniliśmy twierdzenie przez sprowadzenie do sprzeczności z założeniem.