Գրեք սա: An elementary equilibrium existence theorem.