2m−12^{m-1}2m−1 が b−ab-ab−a を割るなら b−a≥2m−1b-a\ge2^{m-1}b−a≥2m−1 なので、bbb と ccc はともに 2 の m−1 乗より大きくなり b+c=2mb+c=2^mb+c=2m に矛盾する。従って a+ba+ba+b を割る。a+b<b+c=2ma+b<b+c=2^ma+b<b+c=2m だから a+b=2m−1a+b=2^{m-1}a+b=2m−1 である。