HS.C.9(+).a: Apply the Intermediate Value Theorem to continuous functions.