ここで、(λf.f3)(λx.x+2)と(λx.x+2)3と3+2の3つの表現はいずれも同値である。
如果把这个（用函数作参数的）函数作用于我们先前的“加2”函数上：(λf.f3)(λx.x+2)，则明显地，下述三个表达式：(λf.f3)(λx.x+2)与(λx.x+2)3与3+2是等价的。