for K being non empty Abelian addLoopStr holds the addF of K is commutative