thus the carrier of (Tcircle x,r) is Simple_closed_curve by Th9; :: according to TOPREALB:def 5 :: thesis: verum