https://9lib.org/document/wyer9eeq-on-continuous-and-locally-non-constant-functions.html