[0TP]Se l’isometria \(𝜑\) è surgettiva (e dunque è bigettiva) allora anche la inversa \(𝜑^{-1}\) è una isometria.