Theorem DCP tells us that the characteristic polynomial of a square matrix of size $n$ has degree $n$. By suitably augmenting the proof of Theorem DCP prove that the coefficient of $x^n$ in the characteristic polynomial is $(-1)^n$.