Lagrange's theorem
Lagrange's theorem can be extended to the equation of indexes between three subgroups of .