for C, D being Category
for S being Contravariant_Functor of C,D holds *' S is Functor of C opp ,D