`ttcolor{red}{#Cherries}`

Ta có `:`

`(7a+5-21b)(a+1-3b)` `vdots` `7`

`=>` `7a+5-21b` `vdots` `7` hoặc `a+1-3b` `vdots` `7`

Mà `7a` `vdots` `7, 21b` `vdots` `7` nên :

`=> 7a+5-21b` $\not\vdots$ `7`

`=> a+1-3b` `vdots` `7` `(1)`

Ta lại có `42a` `vdots` `7, 14b` `vdots` `7, 14` `vdots` `7` `(2)` 

Từ `(1)` và `(2)` ta có `:`

`a+1-3b+42a+14b+14` `vdots` `7`

`=> 11b+43a+15` `vdots` `7(` dpcm `)`

Vậy `...`