es78

Se esistesse un tale F, cosa succederebbe se considerassimo
come M ed N, rispettivamente  \z.z e (xy) ?

Ci sono ovviamente tanti altri modi per dimostrarlo.