> -- Info21 писал(а):
> На самом деле тут штучка гораздо интересней любого кроссворда: подмена конечного условия более слабым. Обычно с другой стороны мысль идет, причем инерция очень сильна.Обратите внимание, что приведенная мной ссылка содержит эту штучку для инварианта: у Вирта описывается инвариант, где один кусок области содержит значения меньшие х, а другой - большие х. Я привел более слабый - область из двух кусков не содержит х.