theorem Th6: :: BASEL_1:6

for n being Nat
for b, d being Real holds (rseq (0,b,0,d)) . n = b / d