Exercise OD.T30, proof for product of upper triangular matrices