reconsider c = {} as PartFunc of R^1,T by XBOOLE_1:2;
reconsider f1 = c as Element of PFuncs (REAL,([#] T)) by PARTFUN1:45, TOPMETR:17;
f1 is parametrized-curve PartFunc of R^1,T by Lm1;
then f1 in Curves T ;
hence not Curves T is empty ; :: thesis: verum