theorem Th53: :: GROUP_22:51

for G being Group
for H, K being strict characteristic Subgroup of G
for phi being Automorphism of G holds phi .: (commutators (H,K)) = commutators (H,K)