theorem Th10: :: IRRAT_1:10

for n being Nat holds (bseq 0) . n = 1