The above proof of the intermediate value result can be read either as a syntactic derivation from t...