如果对给定素数p>2，且n是满足p|ψ(n)的最小正整数。证明n<p^2且n必定是一个素数。