Sea X una variedad diferenciable, conexa, de clase Cᴾ, de dimensión d. Se probará que dados dos puntos a y b en X, existe un Cᴾ-difeomorfismo f de X tal que f(a) = b. Dicho de otra manera el grupo dif(X) opera transitivamente sobre X. Este resultado no es nuevo, pero la demostración que se presenta tiene algunas partes novedosas.