prototype for the book's induction principle (cauchy reals)