This theorem expresses every coefficient of the [characteristic polynomial](/page/Characteristic%20Polynomial) as a signed sum of principal minors. It gives a coordinate-level formula that generalizes the trace and determinant coefficient identities.