intermediate value property implies continuity