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

>>70
ミスはない、前に書いた内容の間違いを繰り返して書いているだけ