Proof that there is a unique solution to $Ax=b$ implies rank = $n$ of a $m \times n$ matrix $A$
Linear equations given by $Ax = b$ have a solution if and only if $\operatorname{rank}(A|b) = \operatorname{rank}(A)$