Since this must be true for any eigenvalue λ, we can conclude ρ(A) < 1.
これがすべての固有値 λ に対して成立しなければならないから、ρ(A) < 1 と結論づけることができる。