Considerando f:\(\mathbb{R}\)
I. Se para todo ponto u ∈ \(\mathbb{R}\) existe uma vizinhança de u na qual f restrita a tal vizinhança é um difeomorfismo local, então f é um difeomorfismo sobre a sua imagem.
II. Dado um ponto u ∈ \(\mathbb{R}\), se existir K > 0 para o
qual |f’(u)⋅v|≥K|v|, para todo v ∈ \(\mathbb{R}\)