二次形式 "q" の係数行列 "a" を対称行列(1/2)("a" + "t""a")に置き換えても、"q" は不変である。