theorem
  ex C,D being category, F being Functor of C,D st
  F is non multiplicative & F is identity-preserving
  proof
    set C = the non empty category;
    set D = the empty category;
    set F = the identity-preserving Functor of C,D;
    take C,D,F;
    thus thesis by Th29;
  end;
