 The localization theorem generalizes the localization theorem for abelian categories.Let formula_1 be exact categories.Then "C" is said to be cofinal in "D" if (i) it is closed under extension in "D" and if (ii) for each object "M" in "D" there is an "N" in "D" such that formula_2 is in "C".