Source TeX:
P(x_1)=0