Of course we are familiar with the notion that if $n=p_{1}^{k_{1}}\cdots p_{r}^{k_{r}}$ ($p_{i}$ distinct primes; $k_{i}>0$), then $$\varphi\left(n\right)=n\left(1-1/p_{1}\right)\left(1-1/p_{2}\right)\cdots\left(1-1/p_{r}\right),$$ where $\varphi$ is the Euler totient function.
The goal is to prove this using the fact that $\varphi$ is multiplicative, that is, $$\varphi\left(mn\right)=\varphi\left(m\right)\varphi\left(n\right),$$ given that $m$ and $n$ are coprime.
Proving the former notion from the multiplicative property. But how do we prove the multiplicative property of $\varphi$ without using that notion?