Речь о том, что открыв первую сумму мы можем получит дополнительню информацию "ситуация Х<=К<2Х исключена". В этом случае мы используем другой К, для которого эта ситуация возможна. Если область действия множества К не пересекается, все должно работать.
