Lemma fileDescription1InvariantsFileNotSection : fileSectionFileNotSection fileDescription1.
