[tromp]

It's not the shortest lambda term with that property though. That's λx λy λz. x z (y (λ_.z)) [1]

[1] https://en.wikipedia.org/wiki/SKI_combinator_calculus