Exclusive Or as Conjunction of Disjunctions/Proof 1