El carácter isométrico de formula_4 para cada valor de "s" se refleja en que el pullback de dicha aplicación satisface: