Exclusive Or is Commutative/Proof 1