for n, b being non zero Nat st b > 1 holds
(BLiouville_seq b) . n > 1