The Gains from Trade Theorem with Increasing Returns to Scale