added corollary about A/C having pfinite roducts, sums, and zeros (i.e. A/C is additive category)
proved lemma 2.11