Sea formula_1 un espacio prehilbertiano de dimensión finita "n".