Epimorphism theorem, examples and applications, generalized Mittag-Leffler procedure, the functor proj, the functor ext and applications to the structure theory of Fréchet Spaces