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