He then develops the theory of linear independence in a way which is astonishingly similar to the presentation one finds in modern linear algebra texts.
If the eigenvalues have an algebraic multiplicity greater than 1, then repeat the process, but now multiplying by an extra factor of for each repetition, to ensure linear independence.
Since the manifold metric is always assumed to be regular, the compatibility condition implies linear independence of the partial derivative tangent vectors.