ab+cd chia hết cho a-c
⇔ab-bc+bc+cd chia hết cho a-c
⇔b(a-b)+c(c+d) chia hết cho a-c
mà b(a-b)chia hết cho a-c
⇒c(b+d) chia hết cho a-c
hay cb+cd chia hết cho a-c
⇒cb+cd+ad-ad chia hết cho a-c
=>ad+cd+[-d.(a-c)]chia hết cho a-c
⇒ad+cd chia hết cho a-c (ĐPCM)