Theorem 11.4

Let be an orthogonal basis of . Then for we have:

And if is an orthonormal basis of . Then we have: