theorem Th12: :: BASEL_1:12

for b, d being Real
for a being non zero Real holds lim (rseq (a,b,a,d)) = 1