>>176-178
ｆ（Ｘ）＝Σ（ａ（ｋ）Ｘ＾ｋ）。
ｆ（Ｘ）ｆ（Ｘ＾（−１））≡ｂ＋ｃΣ（Ｘ＾ｋ）（ｍｏｄ．Ｘ＾ｎ−１）。

ｂ＋ｃ＝Σ（ａ（ｋ）＾２）。
ｂ＋ｎｃ＝（Σ（ａ（ｋ）））＾２。
（ｎ−１）ｂ＝ｎΣ（ａ（ｋ）＾２）−（Σ（ａ（ｋ）））＾２≧０。