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