Pick the smaller of \(a\) and \(b\) (here, assume it is \(b\)), and convert to a congruence modulo \(b\text{:}\)
This will reduce to a congruence with one variable, \(x\text{:}\)