Dos casos especiales, reglas 3 y 4, son triviales: λ"x"."x" es claramente equivalente a I, y λ"x"."E" es claramente equivalente a (K E) si x no aparece libre en E.