We now arrive finally at the main desired result for this section:
Theorem: The projections of any vector
onto any orthogonal basis set
for
can be summed to reconstruct
exactly.
Proof: Let
denote any orthogonal basis set for
.
Then since
is in the space spanned by these vectors, we have