theorem Th63: :: TOPGEN_5:63

for p being Point of (TOP-REAL 2)
for x, a being Real
for r being positive Real st a <= 1 & |.(p - |[x,(r * a)]|).| < r * a holds
(+ (x,r)) . p < a