for G being Group holds G ` = gr (commutators G) ;