Law of Excluded Middle/Sequent Form/Proof 1