اونوقت چون داريم b>=2(a,b پس حداقل 2 عدد هستن كه بر (a,b) بخشپذيرباشه و يه عدد هست كه بر [a,b] بخشپذير باشه پس دو عدد مختلف هستن كه ضربشونبر ab بخشپذير باشه.
اونوقت چون داريم b>=2(a,b پس حداقل 2 عدد هستن كه بر (a,b) بخشپذيرباشه و يه عدد هست كه بر [a,b] بخشپذير باشه پس دو عدد مختلف هستن كه ضربشونبر ab بخشپذير باشه.