Veremos, después de algunos lemas que las isometrías que fijan el origen son