exists a positive integer k such that:
Now if p>=2, then p is odd as the only even prime is 2. Therefore p-1 is
even, so 3k is even, so k is even, so there exists an integer m>0 such that:
so for some m>0, p=6m+1, therefore p is in the progression 6n+1, n=1, 2, ..