theorem Th29: :: LIOUVIL1:31

for a being NAT -valued Real_Sequence
for b, n being Nat st b > 0 holds
(ALiouville_seq (a,b)) . n is Integer