Lemma endSectionFileNotSectionExample : endSectionFileNotSection fileDescriptionExample.
