4 We have not attempted a rigorous justification of this statement within the metatheory of constructive Morse set theory, but we have little doubt that such a proof could be produced after a tedious examination of the many cases that arise (1980)

by Oliver Aberth, Computable Analysis, New York McGraw—Hill