Describir: An elementary equilibrium existence theorem.