Considérese una acción diferenciable de Rn sobre una variedad conexa M, no necesariamente compacta, de dimensión m y rango k. Supóngase que M no es un cilindro. Entonces existe una órbita de la acción de dimensión < ...