Let and . Then there are solutions to The solutions are unique up to congruence mod .
Proof:
By TheoremTheorem we know there are such that . Then is a solution to the equation since we have Now suppose and are solutions to the equation. Then and , meaning and since we thus have meaning .