3次方程式が高々3つの実数解しかもたない
ということは証明なしに使えるでしょうか