Puede verificarse fácilmente que formula_9 es ortogonal a los vectores formula_7 y formula_8 efectuando el producto escalar y verificando que éste es nulo (condición de perpendicularidad de vectores)