#Therefore the initial assumption is incorrect
==Proof of Proposition ''P'' by Contradiction==
#Suppose ~P.
#...
#Therefore, Q.
#...
#Therefore, ~Q
#Hence, Q and ~Q, a contradiction
#Thus, P
==Example==
An example of this is [[Euclid]]'s proof of the [[infinitude]] of the [[Prime number|primes]]: