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