Lagrange's theorem
If "G" is finite then the orbit-stabilizer theorem, together with Lagrange's theorem, gives