>>875
＞λx.ex t f(x,t)　⇒　ex t (λx.f(x,t))
⇒ってなに？ならば？