theorem Th23: :: TOPALG_6:23

for T being TopStruct
for c being Curve of T holds c is parametrized-curve PartFunc of R^1,T