Intermediate value property