theorem Th154: :: GROUP_1A:200

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