theorem Th6: :: IRRAT_1:6

for k, n being Nat st n > 0 holds
(bseq (k + 1)) . n = ((1 / (k + 1)) * ((bseq k) . n)) * ((aseq k) . n)