Let and be the edgepoints of the line through and . Then since , , and lie on a Möbius circle perpendicular to the edge, so do , , and . Since and are on the edge, so are and , so and must be the edgepoints of the line through and . Then