用初等行变换化成梯矩阵
锁定非零行的首非零元所在列
这几列构成的A的子式是必有最高阶非零子式