\varphi(x_1)<0