theorem :: GROUP_22:49

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