证明素数数列一个实实在在不疼不痒的性质