Intermediate value theorem explained