0115132人目の素数さん垢版2018/08/07(火) 14:09:47.37ID:gkVDbMDU >>71に > >>69 > cr≠qr-1は、それはJの条件を導くときに使っている と書いてありますが、ということは、現論文ではJを使ってないの?それともJをcr≠qr-1抜きに証明しているの?