定理 1.1. 非退化线性替换保持合同等价

经过非退化的线性替换之后, 原二次型的矩阵合同于新二次型的矩阵.