規則3、4は自明である:λx.xは明らかにIと等しく、λx.Eはxが自由変数としてEに出現しない時明らかに(KT)である。
两个特殊情况，规则3和4是平凡的：λx.x明显等价于I，而λx.E明显等价于（KE），如果x在E中不是自由出现的。