A characteristic polynomial · Proofwise