 However, David Gale proved that a CE exists in every linear exchange economy satisfying certain conditions.For details see Linear utilities#Existence of competitive equilibrium.In the examples above, a competitive equilibrium existed when the items were substitutes but not when the items were complements.