Так как четное число делится на 2, то произведение его и любого натурального числа делится на 2 (по свойству 1: если один из множителей делится на некоторое число, то и произведение делится на это число), то есть произведение − число четное, что и требовалось доказать.