怎样证明互素的完全平方数的和的奇素数因子模4余1