（その７２３）（その７２４）を検算したいのであるが，局所幾何に現れる図形がわからない．

　ワイソフ記号は（０，１，０，０，０，０，０，０）であるから，ファセットは

　　α7（０，１，０，０，０，０，０）

　　β7（０，１，０，０，０，０，０）

ｆ1＝（５４／２）ｆ0＝１８１４４０→ＯＫ

ｆ2＝（４５９／３）ｆ0＝１０２８１６０→ＯＫ

ｆ3＝（１６５６／４）ｆ0＝２７８２０８０→ＮＧ

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