Debreu’s Social Equilibrium Existence Theorem