theorem :: GROUP_22:44

for G being Group holds G ` is characteristic