３次元正四面体系の場合で検証してみたい．［ｋ，ｍ，ｎ］を表示すると，・・・

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

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

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

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

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

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

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

　頂点数は６減，辺数は６，面数は不変．→不成立

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

　頂点数は６減，辺数は６減，面数は４減．→不成立

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

　頂点数は１８減，辺数は２４減，面数は６減．→不成立

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

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

　　［０，６，０］−［０，０，６］

　　［１，６，０］−［１，０，６］

　　［２，３，０］−［２，０．３］

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

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

　　［０，６，０］−［０，０，６］

　　［１，６，０］−［１，０，６］

　　［２，３，０］−［２，０．３］

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

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

　　［０，４，０］−［０，０，４］

　　［１，２，０］−［１，０，２］

　　［２，０，０］

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

　頂点数は８減，辺数は１８減，面数は１０減．→不成立

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

　頂点数は８減，辺数は１８減，面数は１０減．→不成立

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