二次形式
二次形式に付随する対称行列は常に整数係数となる。