Por tanto, el hipotético combinador de forma normal N no puede existir.