Multiplication commutativity proof finished.