NOT KNOWN FACTUAL STATEMENTS ABOUT GRUNG

consequently F d can be a bounded growing purpose. It should really represent the "jumping aspect" of file, and whether it is subtracted out from F, the remainder really should be beneficial, contain no additional jumps, and so be steady. These plausible statements will now be proved - They may be straightforward sufficient but not really trivIal.