§6.4 实二次型规范形的唯一性