No toda expresión lambda tiene forma normal, pero si existe, es única.