The powers $I,A,A^2,\ldots$ lie in the finite-dimensional space of matrices and are eventually linearly dependent, so a nonzero annihilating polynomial exists. Choose one of least degree and normalize it to be monic. If two such polynomials existed, their difference would annihilate $A$ with smaller degree. Polynomial division shows $m_A$ divides every annihilating polynomial.
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.