theorem :: TOPREALB:18

Tunit_circle 2 is SubSpace of Trectangle ((- 1),1,(- 1),1) by Th10;