theorem :: TOPREALB:20

for n being non zero Element of NAT
for r, s being positive Real
for x, y being Point of (TOP-REAL n) holds Tcircle (x,r), Tcircle (y,s) are_homeomorphic