Theorem
If
is continuous then
exists such that
Proof
A continuous image of a connected set is connected since connectedness is preserved by continuity, so the image of the connected set
is
for
This is illustrated below.
Hence the graph of
must intersect the diagonal from
to
hence
exists such that