for G being Group
for A, B being Subgroup of G st B is Subgroup of A holds
commutators (A,B) c= carr A