theorem Th5: :: BASEL_1:5

for n being Nat
for a, b, c, d being Real holds (rseq (a,b,c,d)) . n = ((a * n) + b) / ((c * n) + d)