theorem :: GROUP_2:83

for G being Group
for H being strict Subgroup of G holds H /\ H = H