NOR is Commutative/Proof 1