可能な限り次の2つの操作を繰り返す。これらは合計額を変えない:額面 12m\tfrac{1}{2m}2m1 の硬貨が2枚あれば、そのペアを額面 1m\tfrac{1}{m}m1 の硬貨1枚に置き換える;額面 12m+1\tfrac{1}{2m+1}2m+11 の硬貨が 2m+12m+12m+1 枚あれば、それら 2m+12m+12m+1 枚すべてを取り除き、それ自体を1つの完全なグループ(合計額はちょうど 111)としてよける。各操作で硬貨の枚数が厳密に減るので、この処理は終了する。