作用素 "a" が消散的であるための必要十分条件は、すべての "x" ∈ "d"("a")に対してある "x"' ∈ "j"("x")が存在し、