7d98897ec6f1698523e7f091479c706a26a7fa1a99df40f724f12e3d437d085f383950b6b5ec3664f3438ff827c42ec9ead90043

어떤 행렬에 gaussian elimination을 적용했을때

pivot을 가지는 column에 대응하는 원래 행렬의 column vector가

원래 행렬의 column space의 basis임에 대한 증명을 찾고싶음..