Cの後の 「この p の方程式が〜矛盾する。」 の記述は要らないんじゃね
Cに至るまでもかなり回りくどいことをしているが