You need to enable JavaScript to run this app.
Expii
What Is Proof by Contradiction? - Expii
Also known as indirect proof.