>>71で言ってることと今言ってる事が違うのはなぜ？
>>71では cr≠qr-1は、それは⑪の条件を導くときに使っている

と言ってるんだからcr≠qr-1を使ってる部分があるんでしょ？