>>164
Ker(A-E)⊂Img(A-E) は J(1,1) の形の Jordan block が
存在しないことと同値です。
>>265 J(1,2)