This is a standard problem in number theory. Let . Thus, since is a reduced residue system, and
Ito ay isang batayang problema sa bilang teorya. Hayaan . Kaya, dahil ay isang pinababang sistema nalalabi, at