納得できないので再挑戦．

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

□（０１１０００）→□（１１０００）→□（１０００）→□（０００）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（１００）

　　　　　　　　　　　　　　　　　　→△（１１００）→△（１００）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（１１０）

　　　　　　　　　→△（０１１００）→△（１１００）→△（１００）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（１１０）

　　　　　　　　　　　　　　　　　　→△（０１１０）→△（１１０）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（０１１）

△（００１１００）→△（０１１００）→△（１１００）→△（１００）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（１１０）

　　　　　　　　　　　　　　　　　　→△（０１１０）→△（１１０）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（０１１）

　　　　　　　　　→△（００１１０）→△（０１１０）→△（１１０）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（１１０）

　　　　　　　　　　　　　　　　　　→△（００１１）→△（０１１）

　　　　　　　　　　　　　　　　　　　　　　　　　　→△（００１）

　５次元インターフェースは△（０１１００）

　４次元以下では

→△（０１１００）→△（１１００）→△（１００）

　　　　　　　　　　　　　　　　　→△（１１０）

　　　　　　　　　→△（０１１０）→△（１１０）

　　　　　　　　　　　　　　　　　→△（０１１）

の部分も候補になると思われる．むしろ，インターフェースという意味では（その１０４）よりもこちらの方が本命であろう．

□（０１１０００）→△（０１１００）→△（１１００）→△（１００）

の場合，

［ａ］｛３，３，３，３，４｝（０，１，１，０，０，０）：（ｔｐ＋１，１）個

［ａ２］｛３，３，３，３｝（０，１，１，０，０）：２^n-1-fp個

［ａ２１］｛３，３，３｝（１，１，０，０）：（ｔｐ，１）個

　このあとは，ｎ＝４，ｔｐ＝０，ｆｐ＝１として，

［ａ２１１］｛３，３｝（１，０，０）：（ｔｐ＋１，１）個

　これらをｎ＝７，ｔｐ＝２，ｆｐ＝３に戻すと

［ａ２１１］｛３，３｝（１，０，０）：（ｔｐ−１，１）個

となって，その個数は

（ｔｐ＋１，１）２^n-1-fp（ｔｐ，１）（ｔｐ−１，１）個

となり，（その１０４）と結論は変わらない．

　△（１００）にいたる他の経路としては，

□（０１１０００）→□（１１０００）→△（１１００）→△（１００）

があるが，その個数は（ｔｐ＋１）（ｔｐ，１）（ｔｐ，１）（ｔｐ−１，１）＝１２となる．数の上でも，また，（ｔｐ＋１，３）２^tp+1がない点においても，インターフェースにならないと思われる．

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