This is an expository paper based on Border [1]. Starting from basic convexity results, I present a proof of the so-called Equilibrium Theorem, which states the existence of a free disposal equilibrium price vector in an Arrow-Debreu economy with a continuous excess demand function.