Justification with the intermediate value theorem: equation