Note que incluso si e y e no son ortonormales, esto sigue siendo válido por definición de mutuamente ortonormal: