Exclusive Or as Disjunction of Conjunctions/Proof 1