Conjunction implies Disjunction/Proof 2