as a result file d is usually a bounded raising functionality. It ought to represent the "jumping section" of F, and whether it is subtracted out from file, the remainder ought to be optimistic, comprise no additional jumps, and so be steady. These plausible statements will now be proved - These are straightforward sufficient but not likely trivIal