>>140
>>141の後半の予想は、エルデス=シュトラウス予想が真であることと同値になります