Simplify the following text for a Grade 7 native English-speaking person.
Original: For the mathematical form of proof by contradiction , see Proof by contradiction .
Simplified: Generally , it is also known as Proof by contradiction .