La proposición anterior aplicada al conjunto de isometrías de un espacio métrico