Esto es: como uno "no es menor que cero", debe, necesariamente, ser mayor o igual que éste (cero).