О быстром вычислении многочлена от матрицы Фробениуса

Дано элементарное чисто матричное доказательство недавнего результата Гисбрехта, относящегося к быстрому вычислению многочлена от матрицы Фробениуса. Указано приложение этого результата к выяснению наличия общих корней у двух заданных многочленов.