Generally , it is also known as Proof by contradiction .
For the mathematical form of proof by contradiction , see Proof by contradiction .