theorem :: GROUP_4:55

for G being Group
for H being strict Subgroup of G holds H "\/" H = H by Th31;