えっと、整理しますが
 cr=qr-1

 cr≠qr-1
の両方の場合で矛盾が導けているんですね?