theorem Th3: :: FVSUM_1:3

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