consider x being Functor of C,D;
x in Funct (C,D) by Def2;
hence not Funct (C,D) is empty ; :: thesis: verum