>>170
λx,f(x) = λx.g(x) と
∀x, f(x) = g(x) の違いは分かる?