added lemma assoc4 to first compose two middle morphisms of 4