>>573
それはそうかもしれないけれども、この証明はpを正確に解いていない段階で
bを変化させて、pの増減を考えるという人がいなかったためだと思われます。