■ＤＥ群多面体の面数公式（その７３１）
（その７１９）において，もし切頂面にｈγ5も現れるとしたら，
ｆ5＝（ｘ／１５＋ｙ／４０＋ｚ／１６）ｆ0
１２６＝（ｘ／１５＋ｙ／４０＋ｚ／１６）・２１６
３２ｘ＋１２ｙ＋３０ｚ＝１２６・４８０／２１６＝２８０
ｘ＋ｙ＋ｚ＝１２
３２ｘ＋３２ｙ＋３２ｚ＝３８４
２０ｙ＋２ｚ＝１０４
（ｘ，ｙ，ｚ）＝（５，５，２）しかない．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
