ula_102 和 formula_185 使得 formula_186, formula_187 。证明： 由于证明方法类似，我们只证明 formula_102 的存在性。设 formula_153 是 formula_53 的一个基底（不必是标准正交基），令则内积的正定性导致 formula_192 所构成的 formula_193 矩阵 formula_194 为正定矩阵。给了 formula_53 上的一个线性变换 formula_182 之后，我们可以借助于基底得到一个矩阵 formula