Intermediate value theorem
In constructive mathematics

In constructive mathematics, the intermediate value theorem is not true. Instead, one has to weaken the conclusion:
detectable_content:number_placeholders[5], keywords:letter_frequency, startend:end_checker