>>898
このこと自体には特に標準的な名前は無いよ．
直交行列が対角化できることにも標準的な名前は無いしね．

この結果を含む，もう少し強い定理としては
Sylvesterの定理やSylvesterの慣性律と呼ばれる定理がある．