inで単位行列を表すと、いま与えた二次形式は