3 ms·

Calling a vague statement about trading arrangements a theorem is surely getting towards peak economics.