关于 OIOIOI 的反射保持距离并交换 T↔ZT\leftrightarrow ZT↔Z、X↔YX\leftrightarrow YX↔Y,所以把线段 TXTXTX 映到 ZYZYZY。因此 TX=YZTX=YZTX=YZ。