Showing that the candidate basis does span C(A)