for a being Real
for s being Rational_Sequence st s is convergent & a > 0 holds
a #Q s is convergent