If G is finite then the orbit-stabilizer theorem, together with Lagrange's theorem, gives | G ⋅ ⋅ x | = [ G : G x ] = | G | / | G x | , in other words the length of the orbit of x times the order of its stabilizer is the order of the group. In particular that implies that the orbit length is a divisor of the group order.