prove that if seven distinct numbers are selected from {1, 2,..., 11}, then some two of these numbers sum to 12.