(URCA/2022.1) Qual a condição necessária e suficiente para que a solução do sistema linear

!$ x !$ - 5!$ y !$ = !$ a !$

3x + !$ Ky !$ = !$ b !$

seja um par de inteiros, quaisquer que sejam !$ a !$ e !$ b !$ inteiros?