theorem Th20: :: TOPGEN_5:20

for a, b, r being Real st r > 0 holds
( Ball (|[a,b]|,r) c= y>=0-plane iff r <= b )