en effet tout difféomorphisme local est une application ouverte et toute application continue et propre dune variété dans une autre est fermée par connexité de n ces deux propriétés assurent que f est un revêtement par simple connexité de n ce revêtement est trivialisable donc par connexité de m f est un difféomorphisme