По свойству 3: если каждое из двух чисел делится на некоторое число, то их сумма и разность делится на это число. Поэтому, если каждое из двух чисел делится на 2, то их сумма делится на 2. Число, делящееся на 2, называют четным, поэтому сумма двух четных чисел является четным числом, что и требовалось доказать.