[0TP]Se l’isometria 𝜑 è surgettiva (e dunque è bigettiva) allora anche la inversa 𝜑−1 è una isometria.