distinct real roots