2ｰ2の別解についてなんですが、「a+b+c<0でf(x)=0が虚根をもつならば、c<0である」は「a+b+c<0でf(x)=0が虚根をもつならば、少なくともc<0でなければならない」ってことですよね？