theorem :: GROUP_6:71

for G being Group holds G,G ./. ((1). G) are_isomorphic