\[\phi\left(m\right)\phi\left(n\right)=\phi\left(mn\right)\phi\left(\left(m,n%
\right)\right)/\left(m,n\right).\]