Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2021/discrete-mathematics-continuous-mathematics-and-probability/1/b/ii/solution

Divide the divisibility relation by to obtain . Since , multiplication by the modular multiplicative inverse gives . Therefore all integer solutions are , .
Modulo , the choices give
They are distinct residue classes: equality of two such classes would imply , hence . Every integer is congruent to one of those thirteen choices, so the list is exhaustive.

New to topics? Read the docs here!