La condición se evalúa al comienzo de la estructura (condición de entrada).