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