>>740
「(m,n)=1の時、2n^2+m^2　の奇素因数は、8k+1型と8k+3型のみ」
＝「(m,n)=1の時、2n^2+m^2　は、8k+5型と8k+7型の素因数を持たない」
という事だよね