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