x^2=kP-3 となるxとkが存在する。