Arthan, R. D. (2016) “Now f is continuous (exercise!)”, Journal of Formalized Reasoning, 9(1), pp. 33–52. doi: 10.6092/issn.1972-5787/4566.