\(\hept{\begin{cases}4-4x⋮1-3y\\\\1-3y⋮1-3y\end{cases}\Rightarrow\hept{\begin{cases}12-12y⋮1-3y\\\\4-12y⋮1-3y\end{cases}}}\)
\(\Rightarrow\left(12-12y\right)-\left(4-12y\right)⋮1-3y\)
\(\Leftrightarrow8⋮1-3y\)
\(\Rightarrow1-3y\varepsilon\left\{1;2;4;8\right\}\)
\(\Rightarrow3y\varepsilon\left\{0;1;3;7\right\}\)
\(\Leftrightarrow y\varepsilon\left\{0;1\right\}\)