Entonces, tf es una isometría (composición de isometrías) y