Un bucle de entrada individual, única salida, en el que el control de bucle se ejecuta después el cuerpo del bucle.