Puede comprobarse que la operación anterior formula_46 satisface todas las propiedades que debe satisfacer un producto escalar.