Nếu `n` là số tự nhiên chẵn thì `n vdots 2`
`⇒ n . ( n + 1 ) vdots 2`
Nếu `n` là số tự nhiên lẻ thì `n + 1` là số tự nhiên chẵn
`⇒ n + 1 vdots 2 ⇒ n . ( n + 1 ) vdots 2`
Vậy `,` với mọi số tự nhiên `n` thì `n . ( n + 1 ) vdots 2 (` Điều phải chứng minh `)`