Equivalentemente el teorema implica que en un entorno de cualquier punto puede definirse un conjunto de coordenadas canónicas.