theorem :: BKMODEL1:87

the carrier of (Tunit_circle 2) = circle (0,0,1)