as a result F d is usually a bounded increasing function. It really should represent the "jumping section" of file, and whether it is subtracted out from F, the remainder needs to be optimistic, contain no extra jumps, and so be steady. These plausible statements will now be proved - These are simple plenty of but not really trivIal. ) this kind o