Möbius Function is Multiplicative

Theorem
The Moebius function $$\mu$$ is a multiplicative function:

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

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