یه سوال قشنگ: فرض کنید زیرمجموعه ای متناهی از اعداد طبیعی است. ثابت کنید مجموعه ی متناهی از اعداد طبیعی وجود دارد که و مجموع اعضای بر هریک از اعضای بخش پذیر است.