Proof by cases

Summary