Si un espacio prehilbertiano formula_1 posee una base ortonormal formula_3 finita, cada vector x en "V" puede expresarse de la siguiente manera: