CM:
(a). Giả sử n là 1 số lẻ ta có n+6 là 1 số chẵn và n + 9 là 1 số lẻ => (n +6).(n + 9) là 1 số chẵn.
(b). Giả sử n là 1 số chẵn ta có n + 6 là 1 số lẻ và n + 9 là 1 số chẵn => (n + 6).(n + 9) là 1 số chẵn.
(c). Với mọi số tự nhiên n ta có (n + 6).(n + 9) > 18.
Từ (a),(b),(c) ta có thể kết luận rằng với mọi số tự nhiên n thì tích (n + 6).(n + 9) luôn chia hết cho 2.