Perhaps the Intermediate Value Theorem.

Wim Veldman Perhaps the Intermediate Value Theorem. 2142-2158 2005 11 J. UCS 12 http://www.jucs.org/jucs_11_12/perhaps_the_intermediate_value db/journals/jucs/jucs11.html#Veldman05