Suppose is a finite-dimensional vector space and are such that is surjective. Prove that is injective.
By 3.69 is invertible, apply 3d/9 twice to show and are all invertible, this shows is injective as a special case.
(Old direct proof)
By 3.69 is invertible, clearly this requires which shows is invertible by 3.69, similarly we must have in order for to be surjective meaning (again by 3.69) is invertible.
Suppose , then implies which implies since is invertible. Thus is injective (and invertible by 3.69)
It wasn't in the question, but this shows that if is invertible, then and are invertible and the inverse is given by .