for C, D being Category
for F being Functor of C,D holds (*' F) *' is Functor of C opp ,D opp