Si formula_5 y formula_6 son vectores de un espacio de Hilbert formula_7 y formula_8 y formula_9 números complejos se cumple que