r"n" 上の任意の二次形式 "q" は次対称行列 "a" を用いての形に一意的に表される。