reserve T,U for non empty TopSpace;
reserve t for Point of T;
reserve n for Nat;
reserve T for TopStruct;
reserve f for PartFunc of R^1, T;

theorem
  {} is parametrized-curve PartFunc of R^1, T by Lm1,XBOOLE_1:2;
