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/i/solution

The Euclidean algorithm gives
so . Since , the criterion for a linear congruence guarantees a solution. One can also exhibit it directly: , or in the original coefficients,
Thus is a solution, with an explicit Bézout coefficient certificate.

New to topics? Read the docs here!