Theorem NPNT Nonsingular Product has Nonsingular Terms

Suppose that $A$ and $B$ are square matrices of size $n$. The product $AB$ is nonsingular if and only if $A$ and $B$ are both nonsingular.

Proof
(in context)