x≡y (mod a) => (x,a)=(y,a)

Printable View