for G being Group holds (1). G is commutative