added the proof of results on page 55
proved the prop that the morphisms in A/C are additive