已知p:x^2-x