However, for and small enough, if a solution exists, it is unique.
This result is the basis for rational reconstruction, which allows using modular arithmetic for computing rational numbers for which one knows bounds for numerators and denominators [REF].