若已知p为2017k+1型素数，如何证明一定存在x使原方程成立