各操作でバケツ1にはちょうど1個の石が加わるので、sss は行った操作の回数に等しく、ppp を黒板上の nnn 個の数の和とすると各操作で ppp はちょうど 111 増える(a+ba+ba+b を消して 1+(a+b)1+(a+b)1+(a+b) を書き戻すため)ので p=n+sp=n+sp=n+s となる。各操作で gcd(a,b)≥1\gcd(a,b)\ge1gcd(a,b)≥1 なので、バケツ2は各操作でバケツ1以上の石を得るから t≥st\ge st≥s、すなわち t/s≥1t/s\ge1t/s≥1 である。