Jorge, On Monday 21 May 2007 01:17, Jorge M. Lopez wrote: > Then in one of the resulting subintervals (of infinitesimal length) there > must be a real number why? > it is not at all clear that the completeness of the real numbers gets used > at all. Ah. No? Tjark