This paper formalizes Cheung, Coase, Stigler, and Young's theory of irrelevance of the size of the firm. This theory states that if division of labor develops within the firm, the average size of the firm and productivity go up side by side. If division of labor develops between firms, the...