Pairs of matrices in $G{L}_2({\mathbf{R}}_{\ge 0})$ that freely generate

An elementary proof that certain pairs of $2\times 2$ matrices with nonnegative real coordinates generate free monoids.