Local Diffeomorphisms-C ∞ Realization of Formal Properties