Theorem DCP Degree of the Characteristic Polynomial

Suppose that $A$ is a square matrix of size $n$. Then the characteristic polynomial of $A$, $\charpoly{A}{x}$, has degree $n$.

Proof
(in context)