NOT KNOWN FACTUAL STATEMENTS ABOUT GRUNG

as a result file d is a bounded expanding operate. It need to represent the "leaping section" of F, and whether it is subtracted out from F, the remainder need to be favourable, consist of no additional jumps, and so be continuous. These plausible statements will now be proved - They may be uncomplicated more than enough but not likely trivIal. de