Disjunction with Contradiction/Proof 1