formula_9 base ortonormal formula_12