for R being non empty Abelian addLoopStr
for a being Element of R
for n being Element of NAT holds n * a = a * n