Gravar-mail: Debreu’s social equilibrium existence theorem