theorem Th29: :: CAT_2:35

for C, D, C9 being Category
for S being Functor of [:C,C9:],D
for c9 being Object of C9 holds (curry' S) . (id c9) is Functor of C,D