（その７１１）（その７１２）を検算．

ｆ1＝（８／２）ｆ0＝９６

ｆ2＝（１２／３）ｆ0＝９６

ｆ3＝（６／６）ｆ0＝２４・・・正八面体であることがわかっていることを前提としている．

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