Systems of Linear Equations and Rank
A system of m linear equations in n unknowns can have exactly one solution, infinitely many, or none. Rank decides which, and Gaussian elimination computes both the rank and the solutions. The rank-nullity theorem then counts how many free parameters a solution set has.