高校数学で
n次方程式は実数解と複素数解を含めると
かならずn個以下である(重解なかったらn個)
ってことは証明無しに用いていいの?