This paper presents the classical theorem on the existence of equilibrium as it was proved in the 1950's with the various improvements that have been made since then. In particular, the elimination of the survival assumption and of the requirement of transitive preferences are carried through with a proof that uses a mapping of social demand. This approach favors intuitive understanding and generalization of the results. Finally, the role of the firm and the introduction of external economies are critically viewed.