Theorem CLTLT Composition of Linear Transformations is a Linear Transformation

Suppose that $\ltdefn{T}{U}{V}$ and $\ltdefn{S}{V}{W}$ are linear transformations. Then $\ltdefn{(\compose{S}{T})}{U}{W}$ is a linear transformation.

Proof
(in context)