そのとき、固有性の付値判定法は、次の図式