Two Social Security numbers match zeros if a digit of one number is zero if the corresponding digit of the other is also zero. In other words, the zeros in the two numbers appear in exactly the same positions. For example, the Social Security numbers 120-90-1109 and 430-20-5402 have matching zeros.
Prove: Given a collection of 513 Social Security numbers, there must be two that match zeros.
25.16: Let f: N -> Z by
f(n) = set of -n/2 if n is even and (n+1)/2 if n is odd.
Prove that f is bijection.