白石180個と黒石181個の合わせて361個の碁石が横に一列に並んでいる. 碁石がどのように並んでいても,次の条件を満たす黒の碁石が少なくとも1つあることを示せ. その黒の碁石とそれより右にある碁石をすべて除くと,残りは白石と黒石が同数となる. ただし,碁石が1つも残らない場合も同数とみなす.
左から個までの碁石のうち黒石であるものの数から白石であるものの数を引いた値をとおく.
なので「ならば」が常に成立すればだがより矛盾.
よってかつなるが存在するが,は1ずつ増減するので.
このとき,番目の石は条件を満たす黒石である.