2 つの整数ごとに、とが両方とも で割り切れない$a,b$整数が存在します。$c\in\{0,1,2}$$a+c$$b+c$$3$
ただし、整数について$a=0,b=1$は、すべての整数について、で割り切れる$c$か、で割り切れます。$a+c$$2$$b+c$$2$
$2$この byと byの割り切れやすさの違いが、アルゴリズムで$ ではなく $ を$3$使用する必要がある理由です。実際には、以上のすべての整数が機能します (したがって、 を使用するのが最善です)。$3$2$$k$$3$$3$