Suppose is finite-dimensional and and . Show that is invertible and that .
Clearly meaning is invertible by 3.69. It's also clear that since for each , meaning (again by 3.69) is invertible.
Inverting both of them gives which implies is invertible since it's the product of invertible maps, inverting both sides gives as desired.