La mejora recursiva por sí misma ha sido evidente desde que Marx identificó M-C-M'. Todo es lo mismo.