準正多面体では頂点回りは一様であるが，（一般に）辺回りは一様ではない．そのため

　　ｆn-1＝ｆ0Σ（ｘ／ａ）

は成り立つが，

　　ｆn-1＝ｆkΣ（ｘ／ａ）

は成り立たない．したがって，局所幾何学の目標は

　　ｆk＝ｆ0Σ（ｘ／ａ）

ということになる．これまでの議論の流れを振り返っておきたい．

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

［１］（局所）表現型から大域像を知ることは３次元ではよいのであるが，４次元では役に立たなくなる．同次形になるからである．→（その１９７）

［２］逆に，大域幾何学の公式から局所幾何学の公式を得るのも難しいようである．→（その２２７）〜（その２３７）

［３］局所幾何学に関する一応の結論は（その２４９）でだしてあるが，４次元に関しては（その２５０）〜（その２５４）で完璧に計算できている．

［４］頂点回りのｋ次元胞については，（その２６１）〜（その２６６）参照．

［５］（その２７２）以降は［３］［４］のやり直しである．最終結論は（その２７８）．

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

［おまけ］正単体と立方体では１次元低い正単体の面数，正軸体では１次元低い正軸体の面数と等しくなった．散在型では正１２面体，正１２０細胞体では１次元低い対応物，正２４胞体１次元低い立方体と等しくなった．→（その２３８）〜（その２３９）

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