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