The primary goal of the paper is to deliver a simple proof of equivalence between Brouwer’s fixed point theorem and the existence of equilibrium in a simple exchange model with monotonic consumers. To achieve this end, we discuss some equivalent formulations of Brouwer’s theorem and prove additional ones, that are ’approximating’ in character or seem to be better suited for economic applications than the standard results.