Giải thích các bước giải:
Giả sử `p` `-` `1` không là số chính phương
Vì `p` là tích `2016` số nguyên tố đầu , trong đó có chứa thừa số `3`
`=>` `p` `⋮` cho `3`
`=>` `p` `-` `1` có dạng `3k` `-` `1` `,` `p` `+` `1` `=` `3k` `+` `1` `(` `k` `∈` `N` `)`
Nhưng `3k` `+` `1` `,` `3k` `-` `1` không có dạng là số chính phương
`=>` Điều giả sử trên là sai
`=>` `p` `-` `1` `,` `p` `+` `1` không là số chính phương.