Let K > 0 be a positive definite n x n matrix. Prove that an n × n matrix S satisfies ST K S = I if and only if the columns of S form an orthonormal basis of Rn with respect to the inner product (v, w) = vT K w.