Your proof is mostly correct, but you're missing an important piece.
You've accurately stated that, if the system is consistent, then (because of the presence of basic variables) there are infinitely many solutions. You should additionally say that if the system is _inconsistent_ , then there by definition is _no_ solution, and so we still can't have a unique solution.