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

Reduction of both coefficients in modular arithmetic gives
More explicitly,
The first expression is divisible by exactly when the last parenthesis is. By the definition of a integer congruence, the two congruences are equivalent.

New to topics? Read the docs here!