theorem Th20: :: GROUP_8:20

for G being finite Group
for H being Subgroup of G holds index (G,H) > 0