Дискриминант
... квадратного уравнения всегда положителен, если уравнение имеет только положительные корни
гражданской войн