ショーンハーゲ・ストラッセン法
巡回畳み込みを実行すると、入力の積と B − 1 を法として合同な結果が得られる.この例では、10 − 1 = 999であり、(28, 31, 31) に繰り上がりを適用した 3141に対して 3141 ≡ 56088 (mod 999) が成り立つ.
同様に(上の例の繰り上がり処理をする前の5つの要素について)逆に、右端から n 要素から左端の n−1 要素を引く逆向きの巡回畳み込み(negacyclic convolution)を行えば、
となる。この結果は B + 1 つまり 10 + 1 = 1001 を法として入力の積と合同である。 (28, 23, 5) に繰り上がりを適用した 3035 に対して、 3035 ≡ 56088 (mod 1001) が成り立つ。逆向きの巡回畳み込みは負の数を出力しうるが、繰り上がり・繰り下がりを適切に行うことで除去される。