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