>>437 実対称行列の固有値は実数。