Не уверен, правильно ли я понял условие задачи. Надеюсь, что всё-таки правильно.
gcd это НОД?
При замене двух столбцов на их сумму, каждый

-минор, содержащий новый столбец, представляется в виде суммы (или разности) двух

-миноров исходной матрицы. Поэтому наибольший общий делитель

-миноров новой матрицы кратен наибольшему общему делителю

-миноров исходной матрицы.
После того, как выполним

замен, получим матрицу

все

-миноры которой

(а проще говоря

) будут кратны наибольшему общему делителю

-миноров матрицы
