theorem
  sup L = sup rng L & inf L = inf rng L;
