Dado que sabemos por hipótesis que "G" es finito, sabemos que únicamente puede existir un número finito de clases de equivalencia distintas, es decir, el índice de H en G es finito.