[m](ad–bc)\vdots n[/m] ⇒ ∃ q ∈ N, что [m]ad-bc=qn[/m] ⇒ [m]ad=bc+qn[/m]
По условию
[m](a–b)\vdots n[/m] ⇒ ∃ p ∈ N, что [m]a-b=pn[/m] ⇒ [m]a=b+pn[/m]
[m](b+pn)d=bc+qn[/m] ⇒ [m]pnd-qn=bc-b[/m]
[m]n(pd-q)=b(c-1)[/m]
По условию
(b,n)=1
[m]n(pd-q)=b(c-1)[/m] ⇒ [m](c-1)\vdots n [/m]
...