Since the operator is positive definite, the approximate solution is unique. Assume for a moment there are two solutions, and , satisfying:

respectively. Then, the difference yields:

The function arising from subtracting one member from another member
in also belongs in ; hence, the difference
function can be expressed by the set of **A** orthogonal basis functions
spanning :