Necessarily Welfare-Enhancing Customs Unions with Industrialization Constraints: A Proof of the Cooper-Massell-Johnson-Bhagwati Conjecture by