p:m6;q:y=x^2+mx+m+3有两个不同的零点 p是q的充要条件