Item 0.4.12.c.
\(f:\Z \to \Z\) given by \(f(n) = 5n - 8\text{.}\)
in-context