これまでの検討結果をまとめておきたい．

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

［１］５次元以上のワイソフ多胞体に，２つの系列館の重複はない（簡単）．

［２］３次元での系列間重複は

　　｛３３｝（０１０）＝｛３４｝（１００）

　　｛３３｝（１０１）＝｛３４｝（０１０）

　　｛３３｝（１１１）＝｛３４｝（１１０）

［３］４次元での重複は

　　｛３３４｝（０１００）＝｛３４３｝（１０００）

　　｛３３４｝（１０１０）＝｛３４３｝（０１００）

　　｛３３４｝（１１１０）＝｛３４３｝（１１００）

［４］２次元での重複は

　　｛３｝（１０）＝｛３｝（０１）

　　｛４｝（１０）＝｛４｝（０１）＝｛｝（１）×｛｝（１）

　　｛５｝（１０）＝｛５｝（０１）

［５］Ｐ×Ｑは直交する．∂^kＰ×Ｑも直交する．∂^kＰから［２］−［４］の重複が生じるので，適宜統一させる．たとえば，

　　｛｝（１）×｛｝（１）→｛４｝（０１）

　　｛｝（１）×｛｝（１）×｛｝（１）→｛４４｝（００１）

［６］このようにすると（単数と順序を除き）素因数分解の一意性が成り立つ．この方法はアドホックなものではなく，本質的な対処法である．

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