O("n", R) es isomorfo al grupo de isometrías de R que dejan el origen fijo.