Euler Phi Function is Multiplicative

Theorem
The Euler $\phi$ function is a multiplicative function:

$$m \perp n \Longrightarrow \phi \left({m n}\right) = \phi \left({m}\right) \phi \left({n}\right)$$

where $$m, n \in \Z^*_+$$.