According to the assumption and [1]},
\(\nabla f(q_{1})-\nabla f(q_{0}), \ldots , \nabla f(q_{m})-\nabla f(q_{0}) \)  are linearly independent.
Then by [1]}, the Gram matrix \(G\left(\nabla f(q_{1})-\nabla f(q_{0}), \ldots , \nabla f(q_{m})-\nabla f(q_{0}) \right)\)  is invertible.
Therefore, the required result follows immediately from prop:formualCCS:matrixEQ.
