theorem
  C is non empty & D is empty implies not ex F being Functor of C,D
  st F is covariant or F is contravariant by Th29;
