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