正単体ｆk＝（ｎ＋１，ｋ＋１）

　正軸体ｆk＝２^k+1（ｎ，ｋ＋１）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　　（ｎ＋１，ｋ＋１）＝（ｎ，ｋ＋１）＋（ｎ，ｋ）

　ｍｏｄ（ｎ，ｋ＋１）を考えれば

　　（ｎ＋１，ｋ＋１）＝（ｎ，ｋ）

　　（ｎ＋１，ｋ＋１）／（ｎ，ｋ＋１）＝（ｎ＋１）（ｎ−ｋ＋１）

　　（ｎ，ｋ）／（ｎ，ｋ＋１）＝（ｋ＋１）／（ｎ−ｋ）

後者と１との大小比較はｋによるが，ｍｏｄ（ｎ，ｋ＋１）は

　　（ｎ＋１）（ｎ−ｋ＋１）

になる．

　ｍｏｄ（ｎ，ｋ＋１）を考えれば

　　（ｎ＋１，ｋ＋１）＝（ｎ，ｋ）＝（ｎ＋１）（ｎ−ｋ＋１）

　　（ｎ＋１，ｋ＋１）＝（ｎ，ｋ）＝（ｎ−１，ｋ−１）＝（ｎ−ｋ＋１，１）＝ｎ−ｋ＋１

になるわけではない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　ｍｏｄ（ｎ＋１）（ｎ，ｋ＋１）を考えれば

　　（ｎ＋１，ｋ＋１）＝（ｎ，ｋ）＝（ｎ＋１）（ｎ−ｋ＋１）＝０

　いくつかの連続したｋに対して，

　　（ｎ＋１，ｋ＋１）＝（ｎ，ｋ＋１）＋（ｎ，ｋ）

　　（ｎ＋１，ｋ＋２）＝（ｎ，ｋ＋２）＋（ｎ，ｋ＋１）

　　・・・・・・・・・・・・・・・・・・・・・・・・・

　　（ｎ＋１，ｋ＋ｍ）＝（ｎ，ｋ＋ｍ）＋（ｎ，ｋ＋ｍ）

　ｍｏｄ（ｎ，ｋ＋ｊ）を考えれば

　　（ｎ＋１，ｋ＋ｊ）＝（ｎ，ｋ＋ｊ）＝（ｎ＋１）（ｎ−ｋ−ｊ＋１）

　ｍｏｄ（ｎ＋１）（ｎ，ｋ＋ｊ）を考えれば

　　（ｎ＋１，ｋ＋ｊ）＝（ｎ，ｋ＋ｊ）＝（ｎ＋１）（ｎ−ｋ−ｊ＋１）＝０

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝