  In this work we proivied a new simpler proof of the global diffeomorphism
theorem from [9] which we further apply to consider unique solvability of some
abstract semilinear equations. Applications to the second order Dirichlet
problem driven by the Laplace operator are given.
