Proposición: Sea V un espacio vectorial sobre K, formula_15, con producto escalar.