theorem :: GROUP_22:50

for G being Group
for H, K being strict characteristic Subgroup of G holds H "\/" K is characteristic Subgroup of G