the statement is:
let $A\in \mathbb{R}^{m\times n}$, if for every $c\in \mathbb{R}^m$ there exists a solution for $Ax=c$, then $\operatorname{rank}(A)=m$.
Now I can understand that this is a true statement, since if $\operatorname{rank}(A)<m$ we can get no solution for the equation.
What I wanted to ask if the given information was for every $c\in \mathbb{R}^m$ there exists a unique solution, could I infer that the matrix is square? ($m = n$).
This is coming from the idea that if $Ax=c\:$ has a unique solution, then $\operatorname{rank}(A) = n$, so if it has a solution for every $c$ that means $\operatorname{rank}(A) = m $ and so $m=n$.
I would appreciate any feedback and would love to know if there's more interesting stuff to infer from the given information.