En muchos casos, es condición necesaria que los ciclos sean desenrollables (para esto se debe conocer de antemano el número de veces que se ejecutará).