Fundamental Theorem of Linear Algebra

$$\text{Rank}A+\text{Nullity}A=\#\text{cols}$$ $$\#\text{pivots}+\#\text{free vars}=\#\text{cols}$$