proofs by cases