Finitely generated vector spaces have bases. Finding bases of null spaces and column spaces of matrices.