Sigue de las propiedades del producto interior que si formula_190, cualquier múltiplo de formula_17 es perpendicular a formula_32.