Có [tex]ab\equiv 1^{2019}\equiv 1(mod 2019)[/tex]
[tex]\Rightarrow ab\equiv 1(mod3)[/tex]
[tex]\Rightarrow \left\{\begin{matrix} a\equiv b\equiv 1(mod3)\\ a\equiv b\equiv -1(mod3) \end{matrix}\right.[/tex]
Cả 2 trường hợp trên đều dẫn đến [TEX]a+b[/TEX] không chia hết cho [TEX]3[/TEX]