Prove that among 502 positive integers, there are always two integers so that either their sum or their difference is divisible by 1000.