Si se han ejecutado las sentencias interiores (lo que se denomina realizar una iteración del bucle), se volverá a comprobar la condición y, si ésta vuelve a ser cierta, se realizará otra iteración (se volverán a ejecutar las sentencias interiores).