Soit un espace euclidien et un sous-espace vectoriel de .
Démontrez que .
Indication : on admettra le fait que toute famille orthonormale de peut être complétée en une base orthonormale de .