■ＤＥ群多面体の面数公式（その６７３）
（その６７２）を検算．
［１］α3×α1の大域ｆベクトル
（４，６，４，１，０）
（２，１，０，０，０）
ｆ0＝４・２＝８
ｆ1＝４・１＋６・２＝１６
ｆ2＝４・０＋６・１＋４・２＝１４
ｆ3＝４・０＋６・０＋４・１＋１・２＝６
ｆ4＝４・０＋６・０＋４・０＋１・１＋０・２＝１
［２］α3×α1の局所ｆベクトル
（１，３，３，１，０）
（１，１，０，０，０）
ｆ0＝１・１＝１
ｆ1＝１・１＋３・１＝４
ｆ2＝１・０＋３・１＋３・１＝６
ｆ3＝１・０＋３・０＋３・１＋１・１＝４
ｆ4＝１・０＋３・０＋３・０＋１・１＋０・１＝１ （ＯＫ）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
