むむむ…
(x+y)に現れる全てのラムダ抽象とはなんですか?