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