NAND is Commutative/Proof 1