Theorem fileDescription1Invariants : fileDescriptionInvariants fileDescription1.
