While we find basis for Col(A) we directly find columns that haspivot and then we take these columns(from orginal matrix not rref)as a basis for A and we dont check these columns are linearlyindependent or not we know these columns must be linearlyindependent why we dont check linearly independence?