john.mitchell

Note that essentially the same argument applies under the weaker
assumption that E is connected, by choosing d to be a boundary point
of the fixed point set of g_0 (a proper subset of a connected space
has a boundary, since the intersection of its closure with the closure
of its complement cannot be empty).

John Mitchell