changed ker/cok spacing, proved Lemma 1.5