A proof by cases or proof by exhaustion is a method where we split up the argument into different sub-proofs.