theorem Th18: :: ALTCAT_2:18

for C being Category holds Alter C is transitive