Theorem PTMT Product of Triangular Matrices is Triangular

Suppose that $A$ and $B$ are square matrices of size $n$ that are triangular of the same type. Then $AB$ is also triangular of that type.

Proof
(in context)