そのJの前提条件にも“cr≠qr-1のとき” と明示されている。

だいたいJの式ではcr=qr-1のときpr|2m+1が示せない。
良くもぬけぬけと>>76のような大口が叩けるものだ