Hola, cristianoceli. Otra aportación más:
Te piden esto \( x\equiv4y\:(mod\:7)
\)
Que por la definición de congruencia puedes escribir como \( x-4y=7k
\) y de ahí \( x=7k+4y
\).
Si vas dando valores 0,1,2... a “y”, obtendrás los valores que te ha dado Enrique (y puedes dar otros si quieres).
De esta manera, si después das valores a “k”, siempre obtienes unos valores enteros para “x”, que siempre existen.
Saludos.