Reformulemos el caso anterior, de la siguiente manera: