После такого действия сумма всех чисел в измененном ряду меняется на противоположную (то есть становится положительной), следовательно, уеличивается хотя бы на 2, а в остальных рядах этого типа — не меняется (строки — один тип, столбцы — другой тип). Следовательно, сумма всех чисел в таблице увеличивается. Но тогда процесс не может продлжаться бесконечно, так как сумма чисел во всей таблице не может превосходить сумму модулей всех чисел. Следовательно, этот процесс конечен и через некоторое время мы получим неотрицательную сумму чисел в каждом из рядов.