Liouville theorem