с чатомЖПТ доказали формулу товарища Суня!! Я горд (мечтал об этом). Заняло примерно два часа. В принципе, идейно задача по модулю известного состояла в том, чтобы проверить, является ли данный вектор линейной комбинацией других данных векторов. Но, блин, сам я бы такой код в жизни не написал. Хотя ничего сложного в нём нет, прочитать и верифицировать-то.