To prove that 5 divides x^5 - x, one can compute the fifth powers of integers modulo 5. Checking the values for x = 0, 1, 2, 3, and 4 shows that only x = 0, 1, and 2 need to be considered. This is because 4 is equivalent to -1 and 3 is equivalent to -2 in modulo 5 arithmetic. The resulting calculations confirm that x^5 - x is divisible by 5 for these values. Thus, it is established that 5 divides x^5 - x for all integers x.