命题p:x^2-4x+3