theorem Th37: :: BKMODEL4:43

for r being positive Real
for u being Element of (TOP-REAL 2) st u in circle (0,0,r) holds
not u is zero