Definition:Intermediate Value Property