Proving a statement like P∨Q where Mathematical Statement by proving either: ¬P⟹Q ¬Q⟹P Can also be proved via Proof by Cases