theorem :: CAT_6:28

ex C, D being category ex F being Functor of C,D st
( F is multiplicative & not F is identity-preserving )