再次对同一旋转下的对应 C↦AC\mapsto AC↦A、E↦FE\mapsto FE↦F 应用旋转相似引理,就把 MMM 安放在过直线 CACACA 与 EFEFEF 交点的一个新圆上。
由于绕 MMM 的固定旋转把 C↦AC\mapsto AC↦A、E↦FE\mapsto FE↦F,对该对应用旋转相似引理,就把 MMM 放在由 R=CA∩EFR=CA\cap EFR=CA∩EF 与 AAA、FFF 构成的三角形的外接圆上。故 M∈(△RAF)M\in(\triangle RAF)M∈(△RAF)。