我算了半天发现这个命题貌似是正确的，但不知道怎么证明，求证：$\forall n,m \in \N^{+}, \varphi(nm)=\varphi(n)\varphi(m) \times \dfrac{\gcd(n,m)}{\varphi(\gcd(n,m))}$。

$\LaTeX$ 可能有小笔误，请谅解。