theorem Th66: :: TOPGEN_5:66

for x being Real
for a, r being positive Real holds Ball (|[x,(r * a)]|,(r * a)) c= (+ (x,r)) " ].0,a.[