Item 0.4.12.c. \(f\) is injective, but not surjective (10 is not 8 less than a multiple of 5, for example).