Item 0.4.12.b.
\(f\) is injective and surjective. Unlike in the previous question, every integers is an output (of the integer 4 less than it).
in-context