El profesor se sorprenderá mucho al ver tu solución correcta😉
//x for 0 = 1\ || | (1 + y)*|<1 for 1 = 1| = y + 4 || | \\0 otherwise/
Esta ecuación no tiene soluciones