Доказательство: Рассмотрим три любых натуральных числа: a, b и c. У нас есть два варианта: либо все три числа одной чётности (все чётные или все нечётные), либо два числа одной чётности и одно - другой. Если все три числа одной чётности, то сумма любых двух из них будет чётной (делиться на 2). Если два числа одной чётности, то их сумма также будет чётной и, следовательно, будет делиться на 2. Следовательно, всегда можно выбрать два числа, сумма которых делится на 2.