Theorem: If you have a number $x$ with $n$ number of decimal places and another number $y$ with $l$ number of decimal places, then $x \cdot y$ will never have more than $n + l$ decimal places.
For example:
$63.987 \cdot 56.358 = 3606.179346$ (3 decimal places + 3 decimal places = 6 decimal places)
1) Is this true? Is there a proof?
2) Is there a name for this theory/principle?
(not a homework problem)