A partir de las propiedades del producto escalar, es sencillo probar que el conjunto de vectores formula_7 es ortogonal.