OIOIOI に関する反射は距離を保ち、T↔ZT\leftrightarrow ZT↔Z、X↔YX\leftrightarrow YX↔Y を交換するので、線分 TXTXTX を ZYZYZY に移す。したがって TX=YZTX=YZTX=YZ である。