Vecteur
formula_70 of the associated Euclidean vector spaces. This implies that two isometric Euclidean spaces have the same dimension. Conversely, if and are Euclidean spaces, , , and formula_70 is an isometry, then the map formula_69 defined by