теорема об альтернативах для матриц