Infatti, se è ortogonale, questo significa che la base è ortonormale per , in quanto è ormai noto che la base canonica è ortonormale per il prodotto scalare standard.