Problem

Source: Iranian National Olympiad (3rd Round) 2007

Tags: graph theory, number theory proposed, number theory



Let $ m,n$ be two integers such that $ \varphi(m) =\varphi(n) = c$. Prove that there exist natural numbers $ b_{1},b_{2},\dots,b_{c}$ such that $ \{b_{1},b_{2},\dots,b_{c}\}$ is a reduced residue system with both $ m$ and $ n$.