>>49
12ページの冒頭でcr≠qr-1の場合について示しているのに、これに対応したcr=qr-1の場合についての言及がないので、証明は不完全だと言いました。
これではcr≠qr-1について場合分けをしていないとは言えません。