Für jedes \(i=1,2,...\) sei \(e_i\) die Folge \((\delta_{ik})_{k}\), wobei \(\delta\) das
Kronecker-Symbol ist. Ist nun \(f=\sum_{i=0}^n a_iX^i\) ein nichtkonstantes
Polynom mit \(a_n\neq 0\) und \(f(\varphi)=0\), also gleich dem Null-Endomorphismus,
dann gilt insbesondere \(0=(f(\varphi)(e_n))_1=a_n\), Widerspruch !