theorem :: GROUP_22:52

for G being Group
for H, K being strict characteristic Subgroup of G holds [.H,K.] is characteristic Subgroup of G