この固有値formula_7は非負である。