Es un difeomorfismo si es diferenciable, biyectivo, y su inverso es también diferenciable.