The Heckscher-Ohlin theorem
The central result is that each country exports the good that uses its abundant factor intensively. Home, being capital-abundant, exports steel (the capital-intensive good) and imports cloth (the labor-intensive good). The logic runs through autarky prices: in autarky, Home's relative abundance of capital makes capital cheap relative to labor, which in turn makes the capital-intensive good (steel) cheap relative to cloth. Foreign faces the opposite price structure. When trade opens, Home has a comparative advantage in steel because its autarky relative price of steel is lower.
Formally, the proof proceeds by showing that autarky relative prices reflect relative factor endowments under identical technologies and homothetic preferences. If pSβ/pCβ is lower in Home than in Foreign under autarky, then free trade moves the world price to an intermediate level, inducing Home to produce more steel (where it has a cost advantage) and less cloth, exporting the surplus steel and importing cloth. The pattern of trade is thus entirely determined by differences in factor endowments, not by differences in technology (as in Ricardo) or in tastes.
LKβ>LβKβββ(pCβpSββ)aut<(pCβpSββ)β,aut H-O theorem: the capital-abundant country has a lower autarky relative price of the capital-intensive good, generating comparative advantage and the trade pattern.
HomeΒ exportsΒ S,ForeignΒ exportsΒ C Each country exports the good intensive in its abundant factor: Home exports steel, Foreign exports cloth.