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