14. Let the positive integer m have the standard factorization
m=2a0p1α1⋯psαs
where p1,⋯,ps are distinct odd primes, α0⩾0,α1⩾1,⋯,αs⩾1, s⩾1, or m=2α,α0⩾0. Prove that m can be expressed as the sum of two coprime squares
m=x2+y2,(x,y)=1
if and only if:
(1) In the case m=2x0, α0=0 or α0=1,
(2) In the case m=2α0p1α1⋯psαs, α0=0 or 1, and
pi≡1(mod4)i=1,⋯,s
Moreover, in case (1), the corresponding representation as the sum of two coprime squares is 1, and in case (2), the corresponding representation as the sum of two coprime squares is 2s−1.