Dans un espace pré-hilbertien séparable, il est possible de construire un système orthonormal, à partir de n'importe quel système total. Plus précisément :
alors (cn) est un système orthogonal total tel que c1, ... ,cn engendre Vn pour tout n.
On raisonne par récurrence sur n. Supposons que c1, ... ,cn-1 soit un système orthogonal qui engendre Vn-1, alors par définition de PVn-1 cn est orthogonal à Vn-1, ce qui prouve que (ci|cj)=0 pour 1≤i<j<n.
De plus, comme bn ∉Vn-1 par hypothèse, cn≠0, donc c1,...,cn-1,cn est un système orthogonal.
En outre bn-cn ∈ Vn-1, donc c1,...,cn engendrent le même sous-espace que la réunion de Vn-1 et {bn}, c'est à dire Vn.
Si on normalise le système (cn) en posant $a_{n}=\frac{c_{n}}{\left \| c_{n} \right \|}$, on obtient un système orthonormal.
Le résultat qui précède admet un corollaire important :
En effet, on peut fabriquer une base orthonormale totale (an) à partir de n'importe quel suite totale d'après ce qui précède.
L'application (λn) → $\sum_{n=0}^{\infty }\lambda _{n}a_{n}$ est un isomorphisme de F sur $\boldsymbol{l}_{K}^{2}$.