If and , where are relatively prime, then
is the set of multiples of . Since are coprime, , so .
Question ID VK-003157