proof by contradiction
form of proof
The Fermat method
A proof by contradiction used to show that a statement cannot be true for all numbers. If a statement is true for one number, it will also be true for a smaller number, up to infinity, leading to a contradiction and disproving the original statement.