theorem Th14: :: ALTCAT_2:14

for C being Category holds the_comps_of C is associative