theorem Th16: :: ALTCAT_2:16

for C being Category holds Alter C is associative