>>71

> >>69
> cr≠qr-1は、それはJの条件を導くときに使っている

と書いてありますが、ということは、現論文ではJを使ってないの?それともJをcr≠qr-1抜きに証明しているの?