If I use the standard computational method for producing a spanning set for Nul A, why does this always produce a basis for Nul A?
EDIT: The standard computational method is finding the general solution of Ax = 0 in terms of free variables. Then reducing the augmented matrix [A 0] to reduced echelon form in order to write the basic variables in terms of the free variables