for C being AltCatStr holds C is SubCatStr of C