Proof

An investigation that takes a straightforward proof by counter-example and generalises to hypotheses with an algebraic proof, and proof by exhaustion.