do `p` là số nguyên tố lớn hơn `3`

`=>p in {3k+1;3k+2}`

Với `p=3k+1 `

`=> p+8=3k+9 vdots 3(` ktm`)`

`=>p=3k+2`

`=> p+1 = 3k+3 vdots 3` `(1)`

Vì `p` là số nguyên tố lớn hơn `3`

`=>p` lẻ

`=>p+1 vdots 2` `(2)`

Mà `UCLN(3;2)=1` `(3)`

Từ `(1);(2);(3)=>p+1 vdots 6(đpcm)`