theorem Th40: :: LIOUVIL1:46

for nl being Liouville
for z being Integer holds z + nl is liouville