theorem Th1: :: TOPALG_6:1

L[01] (0,1,0,1) = id (Closed-Interval-TSpace (0,1))