Source: wikibot/proof-by-exhaustion

= Proof by exhaustion
{wiki=Proof_by_exhaustion}