Es decir, se toma a la función "x → (y → x + y)" y se la pone como argumento en "z → z".