En la ejecución, cada vez que termina la última sentencia vuelve a evaluar la condición, si se cumple sigue la iteración, de lo contrario termina.