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