Qual a condição necessária e suficiente para que a solução do sistema linear

$$\{\begin{array}{l}x-4y=a\\ 6x+ky=b\end{array}$$

seja um par de números inteiros, quaisquer que sejam $a$ e $b$ inteiros?