hola ian,
como has visto, la evaluación de zag t1 no termina. pero aún así, y justamente usando la evaluación perezosa, sí termina la evaluación de zig t3 == zag t1.
fíjate si puedes demostrar que Z == S Z evalúa False, Z == S S Z. luego, define
u = S u, y muestra que Z == u también evalúa False.
luego, lleva esa observación al ejercicio.
saludos
luis