> [!NOTE] Lemma ($\varphi$ is multiplicative) > The Euler phi function is [[Multiplicative Functions|multiplicative]], that is for all $m,n\in \mathbb{N}^{+ }$ $m \perp n \implies \varphi(mn)=\varphi(m)\varphi(n)$