Suppose that, in a trading problem, some trader ranks his own item number $k$. Prove that, in each core allocation, that player obtains an item he ranks no lower than $k$. (Thus, a player never leaves with an item that he values less than the item he brought to trade.)