let f: ℤ→ ℤ and