Proof by Cases/Sequent Form/Proof 1