Let $A,B$ be $m\times m$ matrices such that $AB$ is invertible. Show $A,B$ invertible. Let $A,B$ be $m\times m$ matrices such that $AB$ is invertible. Show $A,B$ invertible. 
Here is what I have attempted:
We have $AB$ invertible so there exists an $m\times m$ matrix $C$ such that $C(AB)=(AB)C=I_{m}$. Since matrix multiplication is associative we immediately have a right and left inverse respectively: $(CA)B=A(BC)=I_{m}$. I know the fact that I have square matrices needs to play a roll and gaurentees me that the product will be, in general, defined. I have tried to multiply $CA$ and $BC$ on other sides but that didn't get me anywhere. 
I've asked myself what would happen if they weren't square and its obvious, by definition, that they would not be invertible but I am not seeing a way to use the fact that they are to gaurentee ourselves a general inverse.

Recall that a linear map $M$ can only lower the dimension of a subspace. By this I mean that if $V \subset \mathbb R ^m$ has dimension $n$ then $M(V)$ has dimension at most $n$. 
Recall a matrix is invertible if and only if it has full rank, if and only if its null-space is empty, if and only if it is surjective, if an only if the image of the whole space has maximum dimension. 
Since $AB \colon \mathbb R ^m \to \mathbb R ^m$ is invertible we have $AB(\mathbb R ^m) = \mathbb R ^m$. Then if $B$ is non-invertible it is not surjective so $B(\mathbb R ^m)$ has dimension less than $m$, and so $AB(\mathbb R ^m) = A(B(\mathbb R ^m))$ has dimension less than $m$, a contradiction. If $A$ is non-invertible but $B$ is then $AB(\mathbb R ^m) = A(\mathbb R ^m)$ has dimension less than $m$, again a contradiction.
