Suppose is finite-dimensional and . Prove that is invertible if and only if both and are invertible.
If both and are invertible, then is obviously invertible with inverse .
Now suppose is invertible with inverse , then implies is injective (it has a left inverse) which by 3.69 means is invertible.
Since is invertible and is the product of two invertible transformations is also invertible.