Proof by exhaustion

ID: proof-by-exhaustion

New to topics? Read the docs here!