مجموعه ی S را شامل تمام اعدادی در نظر بگیرید که از رقم های 0و1و2و3 تشکیل شده اند و حداکثر k رقم دارند. چون تعداد اعضای این مجموعه از n بیشتره پس طبق اضل لانه کبوتری دو عدد از این مجموعه پیدا میشن که به پیمانه ی n همنهشتند و حاصل تفریقشان از n^2 هم کوچکتر است.