（その２５８）の再確認である．

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

［３］｛３，３，３，３｝（１，１，１，１，１）＝（７２０，１８００，１５６０，５４０，６２）

　頂点回りには

　　切頂面｛３，３，３｝（１１１１）１個・・・頂点数１２０

　　切稜面｛３，３｝（１１１）×｛｝（１）１個・・・頂点数４８

　　２次元面｛３｝（１１）×｛３｝（１１）１個・・・頂点数３６

　　３次元面｛｝（１）×｛３，３｝（１１１）１個・・・頂点数４８

　　４次元面｛３，３，３｝（１１１１）１個・・・頂点数１２０

　　ｆ4＝（２／１２０＋２／４８＋１／３６）ｆ0＝１２＋３０＋２０＝６２

　５点からなる図形で，頂点次数は５であるからその３次元面数は５である．これは４次元正単体であるから，辺数１０，２次元面数１０である．

　　切頂面｛３，３，３｝（１１１１）は切頂切稜型であるから

｛３，３｝（１１１）と｛３｝（１１）×｛｝（１）からなる．

　　切稜面｛３，３｝（１１１）×｛｝（１）も

｛３，３｝（１１１）と｛３｝（１１）×｛｝（１）からなる．

　　２次元面｛３｝（１１）×｛３｝（１１）も

｛３，３｝（１１１）と｛３｝（１１）×｛｝（１）からなる．

　　｛３，３｝（１１１）ｘ個・・・頂点数２４

　　｛３｝（１１）×｛｝（１）ｙ個・・・頂点数１２

　　ｘ＋ｙ＝１０

　　ｆ3＝（ｘ／２４＋ｙ／１２）・ｆ0＝３０ｘ＋６０ｙ＝５４０

　　ｘ＝２，ｙ＝８

　　｛３｝（１１）ｘ個・・・頂点数６

　　｛｝（１）×｛｝（１）ｙ個・・・頂点数４

　　ｘ＋ｙ＝１０

　　ｆ2＝（ｘ／６＋ｙ／４）・ｆ0＝１２０ｘ＋２４０ｙ＝１５６０

　　ｘ＋２ｙ＝１３，ｘ＝７，ｙ＝３

　次数５で，

　　ｆ1＝（５／２）・ｆ0＝１８００

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

［４］｛３，３，３，３，３｝（１，１，１，１，１，１）＝（５０４０，１５１２０，１６８００，８４００，１８０６，１２６）

　頂点回りには

　　切頂面｛３，３，３，３｝（１１１１１）１個・・・頂点数７２０

　　切稜面｛３，３，３｝（１１１１）×｛｝（１）１個・・・頂点数２４０

　　２次元面｛３，３｝（１１１）×｛３｝（１１）１個・・・頂点数１４４

　　３次元面｛３｝（１１）×｛３，３｝（１１１）１個・・・頂点数１４４　　４次元面｛｝（１）×｛３，３，３｝（１１１１）１個・・・頂点数２４０

　　５次元面｛３，３，３，３｝（１１１１１）１個・・・頂点数７２０

　　ｆ5＝（２／７２０＋２／２４０＋２／１４４）ｆ0＝１４＋４２＋７０＝１２６

　６点からなる図形で，頂点次数は６であるからその４次元面数は６である．これは５次元正単体であるから，辺数１５，２次元面数２０，３次元面数１５である．

　　切頂面｛３，３，３，３｝（１１１１１）は切頂切稜型であるから

｛３，３，３｝（１１１１）と｛３｝（１１１）×｛｝（１）と｛３｝（１１）×｛３｝（１１）からなる．

　　切稜面｛３，３｝（１１１１）×｛｝（１）も

｛３，３，３｝（１１１１）と｛３，３｝（１１１）×｛｝（１）からなる．

　　２次元面｛３｝（１１１１）×｛３｝（１１）も

｛３，３，３｝（１１１１）と｛３，３｝（１１１）×｛｝（１）と｛３｝（１１）×｛３｝（１１）からなる．

からなる．

　ｎ−２次元面

　　｛３，３，３｝（１１１１）ｘ個・・・頂点数１２０

　　｛３，３｝（１１１）×｛｝（１）ｙ個・・・頂点数４８

　　｛３｝（１１）×｛３｝（１１）ｚ個・・・頂点数３６

　　ｆ4＝（ｘ／１２０＋ｙ／４８＋ｚ／３６）ｆ0＝４２ｘ＋１０５ｙ＋１４０ｚ＝１８０６→６ｘ＋１５ｙ＋２０ｚ＝２５８

　　ｘ＋ｙ＋ｚ＝１５→ｘ＝３，ｙ＝０，ｚ＝１２→これはｎ−２次元面の見積もりが悪いためである．

　ｎ−３次元面

　　｛３，３｝（１１１）ｘ個・・・頂点数２４

　　｛３｝（１１）×｛｝（１）ｙ個・・・頂点数１２

　　ｆ3＝（ｘ／２４＋ｙ／１２）・ｆ0＝２１０ｘ＋４２０ｙ＝８４００→ｘ＋２ｙ＝４０

　　ｘ＋ｙ＝２０，ｘ＝０，ｙ＝２０→これはｎ−３次元面の見積もりが悪いためである．

　ｎ−４次元面

　　｛３｝（１１）ｘ個・・・頂点数６

　　｛｝（１）×｛｝（１）ｙ個・・・頂点数４

　　ｆ2＝（ｘ／６＋ｙ／４）・ｆ0＝８４０ｘ＋１２６０ｙ＝１６８００→２ｘ＋３ｙ＝４０

　　ｘ＋ｙ＝１５→ｘ＝５，ｙ＝１０

　次数６で，

　　ｆ1＝（６／２）・ｆ0＝１５１２０

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