Principal orbit type theorem

In mathematics, the principal orbit type theorem states that compact Lie group acting smoothly on a connected differentiable manifold has a principal orbit type.
Definitions.
Suppose "G" is a compact Lie group acting smoothly on a connected differentiable manifold "M".