Some theorems of international trade with endogenous factor supply