for B, C, D being Category
for T being Functor of B,C
for S being Functor of C,D holds S * T is Functor of B,D