for C, D being Category
for F being Functor of C,D holds F is Functor of C, Image F