theorem Th154: :: GROUP_2:154

for G being finite Group
for H being strict Subgroup of G st index H = card G holds
H = (1). G