In this paper we propose restricted expansion independence as a criterion which may be satisfied by desirable choice functions and axiomatically characterize the proportional solution by using this criterion. We also show that the proportional solution satisfies an improvement sensitivity property on a reasonable domain. The theory of solutions to choice problems is used in the paper to define solutions for coalitional bargaining problems.