for K being non empty commutative multMagma holds the multF of K is commutative