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