theorem Th56: :: OPPCAT_1:58

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