- They don’t prove it but it’s true.
- It makes sense cuz , so det(A - ) should have some sort of multiplication between those number of terms.
Extending this,
- Since has roots, there can be maximum distinct eigenvalues.
- This connects to Algebraic Multiplicity of an Eigenvalue.