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