Если несколько слагаемых неотрицательны при всех допустимых \(x\), а их сумма равна нулю (или не больше нуля), то каждое слагаемое равно нулю. Приём сводит уравнение или неравенство к системе равенств.