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).