定理 1.3. 二次型总能化为标准形

数域 $F$ 上的任意一个二次型都可以经非退化线性替换化成标准形.