Proof by exhaustion (source code)

= Proof by exhaustion
{wiki=Proof_by_exhaustion}

Proof by exhaustion, also known as proof by cases, is a mathematical proof technique used to establish the truth of a statement by considering all possible cases. In this method, an assertion is proven true by demonstrating that it holds for each individual case within a finite and manageable set of cases. The steps typically include: 1. **Identify the Statement**: Clearly define the statement or theorem that needs to be proven.