矩阵经过初等变换后的行列式与之前的是非零倍数关系