theorem Th21: :: TOPALG_6:21

for T being TopStruct holds {} is Curve of T