十分性はkが8の倍数であれば、x,yはともに奇数であることを示す。
>>734は間違い。