Let be relatively prime positive integers, and let be any integers. Then, there exists such that for each . The value of is uniquely determined by and .

Category: MIP/CO