This is kind of a stupid question and I am taking some risk of getting some down-votes here, but, I can't resist posting it. Suppose is an orthonormal basis for , and let x be an arbitrary vector in , then we can decompose x by projecting on , i.e.
Certainly we have
Looks like a simple problem, but how can I prove this?