that's why F d is a bounded expanding operate. It really should constitute the "jumping portion" of file, and if it is subtracted out from F, the remainder ought to be favourable, have no much more jumps, and so be continuous. These plausible statements will now be proved - They are really quick adequate but not really trivIal. 1. **Mutual belief