theorem Th71: :: GROUP_3:71

for G being Group
for a being Element of G
for H being Subgroup of G holds Index H = Index (H |^ a)