"E1" y "E2" contienen cada uno estrictamente menos aplicaciones que "(E1 E2)", así que la repetición debe terminar en un término lambda sin aplicación ninguna-ni una variable, ni un término de la forma λ"x"."E".