1This changes in the most general case where multiplication is not commutative!