Amartya_Sen's_theorem