线性代数中,初等矩阵有基础解系嘛?