Proof by case analysis

Here be dragons