theorem :: GROUP_1A:129

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