原理的に収束しないとは? 解が存在する行列でもできないってこと?