theorem Th30: :: LIOUVIL1:32

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