Lemma fileSectionFileNotSectionExample : fileSectionFileNotSection fileDescriptionExample.
