Every square matrix A over a commutative ring satisfies its own characteristic polynomial: p_A(A) = 0.