费马素数定理详细证明,即素数a=4k+(-)1,只有4k+1=p^2+q^2.