theorem :: CAT_6:30

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