系数矩阵不可约