reconsider c = {} as PartFunc of R^1,T by XBOOLE_1:2;
take c ; :: thesis: c is parametrized-curve
thus c is parametrized-curve by Lm1; :: thesis: verum