Number of Significant Figures in Result of Multiplication

Theorem
Let $m$ and $n$ be numbers which are presented to $d_m$ and $d_n$ significant figures respectively.

Then the most significant figures that $m \times n$ can have is $\min \set {d_m, d_n}$.