Proof by contradiction

To prove $P$ by contradiction, assume $\lnot P$. Then deduce something impossible, such as a statement and its negation together.

Since correct reasoning cannot lead to an impossibility, the assumption $\lnot P$ must be false. So $P$ is true.