theorem Th66: :: GROUP_22:63

for G being finite Group
for H1, H2 being strict Subgroup of G st card (H1 /\ H2) = card H1 & card (H1 /\ H2) = card H2 holds
H1 = H2