theorem Th20: :: ALTCAT_2:20

for C being AltCatStr holds C is SubCatStr of C