>>261

命題が間違っている. A = [1,-1,1;-1,1,1;-1,1,1]は仮定を満たすけど, 正則でない.

|a_ii| > sum(j neq i)|a_ij|だと正しい