Two social security numbers "match zeros" if a digit of one number is zero iff the corresponding digit of the other is zero.

Ex. 120-90-1109

430-20-5402

these numbers match zeros.

Prove: Given 513 SS numbers, there must be at least two that match zeros.