theorem Th21:
  {} is Curve of T
  proof
    reconsider f = {} as parametrized-curve PartFunc of R^1, T
    by Lm1,XBOOLE_1:2;
    f is Curve of T by Th20;
    hence thesis;
  end;
