>500
（あなたが証明を完成させるには、
『式(C) が成り立たない！』と言い切らなくてはなりません）

式(C)は、(1)により、成立しないことが、わかります。