Here is a technique for proving the fundamental theorems of analysis that provides a unified way to pass from local properties to global properties on the real line, just as ordinary induction passes from local implication (if true for "k", the theorem is true for "k" + 1) to a global conclusion in the natural numbers.