A quantitative version of a theorem due to (0)

by U Kohlenbach