también se verifica, tenemos que los vectores columna de la matriz formula_3 también forman un conjunto ortonormal de vectores.