con formula_39 coeficientes reales positivos y formula_40sendas bases ortonormales.