Wir wollen in der Notation den formalen Algorithmus verwenden. Das charakteristische Polynom von ist .