theorem Th10: :: BASEL_1:10

for b, d being Real
for c being non zero Real holds lim (rseq (0,b,c,d)) = 0