therefore F d is really a bounded increasing operate. It should represent the "jumping aspect" of file, and if it is subtracted out from file, the remainder should be favourable, have no extra jumps, and so be ongoing. These plausible statements will now be proved - They may be straightforward ample but probably not trivIal. 1. **Mutual dice sets