A calculus of the absurd

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