Indivisible commodities and an equivalence theorem on the strong core

We consider a pure exchange economy with finitely many indivisible commodities that are available only in integer quantities. We prove that in such an economy with a sufficiently large number of agents, but finitely many agents, the strong core coincides with the set of expenditure-minimizing Walrasian allocations. Because of the indivisibility, the preference maximization does not imply the expenditure minimization. An expenditure-minimizing Walrasian equilibrium is a state where, under some price vector, all agents satisfy both the preference maximization and the expenditure minimization.