３次元正八面体系で検証するが，３次元正四面体系の場合と一致するものがあるはずである．

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

［１］（０，１，１）→（０，０，１）の場合

　頂点数は１６減，辺数は２４減，面数は８減．

　　［０，０，０，２］

　　［１，０，０，３］，［１，０，２，０］

　　［２，０，０，１］

［２］（０，１，１）→（０，１，０）の場合

　頂点数は１２減，辺数は１２，面数は不変．

　　［０，０，１，０］

　　［１，０，１，０］

　　［２，０，０，０］

［３］（１，１，０）→（０，１，０）の場合

　頂点数は１２減，辺数は１２減，面数は不変．

　　［０，０，１，０］

　　［１，０，１，０］

　　［２，０，０，０］

［４］（１，１，０）→（１，０，０）の場合

　頂点数は１８減，辺数は２４減，面数は６減．

　　［０，１，０，１］

　　［０，０，０，３］，［０，０，２，０］

　　［２，１，０，０］

［５］（１，１，１）→（０，１，１）の場合

　頂点数は２４減，辺数は３６減，面数は１２減．

　　［０，０，０，３］，［０，０，２，０］

　　［１，０，１，３］，［１，０，３，０］

　　［２，０，１，０１

［６］（１，１，１）→（１，１，０）の場合

　頂点数は２４減，辺数は３６減，面数は１２減．

　　［０，０，０，３］，［０，０，２，０］

　　［１，０，１，３］，［１，０，３，０］

　　［２，０，１，０１

［７］（１，１，１）→（１，０，１）の場合

　頂点数は２４減，辺数は２４減，面数は不変．

　　［０，０，２，０］

　　［１，０，０，３］，［１，０，２，０］

　　［２，０，０，０］

［８］（１，０，１）→（０，０，１）の場合

　頂点数は１６減，辺数は３６減，面数は２０減

　　［０，０，０，２］

　　［１，０，１，３］，［１，０，３，０］

　　［１，０，１，１］

［９］（１，０，１）→（１，０，０）の場合

　頂点数は１８減，辺数は３６減，面数は１８減

　　［０，２，０，０１−［０，０，０，２］→最後の最後で不成立．

　　［１，０，１，３］，［１，０，３，０］

　　［２，１，１，０］

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