When , the terms vanish due to the basis functions being
orthogonal with respect to **A**. Since **A** is positive definite:

Thus, , and by virtue of (26), , such that . The identity contradicts the assumption of two distinct Galerkin solutions. This thus proves the solution is unique [32].