A calculus of the absurd

22.4.3 Gaussian elimination strikes back (linear independence, span and Gaussian elimination)