I have no idea what you know and can use. But here is a quick proof using things I feel ought to be done before proving this theorem.

spans

iff

is consistent for all

iff

has pivot rows (and also pivot columns since is square)

iff

is row equivalent to the identity matrix

iff

is invertible.