Vì tổng 2 số đó không chia hết cho 2
Nên trong đó có 1 số lẻ và 1 số chẳn
Nên tích của chúng sẽ là 1 số chẵn
Vậy tích 2 số đó chia hết cho 2
Nếu tổng của hai số tự nhiên không chia hết cho 2, suy ra tổng hai số này là số lẻ, từ đó kết luận là trong hai số tự nhiên này có 1 số chẵn (vì chẵn + lẻ = lẻ).
Mà lẻ x chẵn = chẵn (chia hết cho 2) => đpcm.