Stav dette: An elementary equilibrium existence theorem.