Por lo tanto, esa expresión puede reexpresarse así  (λy.y(λz.z))x