If *n* is odd then the sequence (1, 2, 3, … *n*) begins and ends with an odd number. This means it contains one more odd number than even. Likewise (*a*_{1}, *a*_{2}, … *a*_{n}), which are only the same numbers in a different order. This means that two odd numbers must end up in the same bracket — there are not enough even numbers available to pair each with an odd. And if two odd numbers appear in the same bracket, they’ll produce an even difference and hence an even product.

From Ross Honsberger, *Ingenuity in Mathematics*, 1970.