Before revision: As an alternative to the spectral mapping theorem, the nonsigularity of in part (i) of the proof can also be demonstrated by the Bézout's identity for coprime polynomials.
After revision: As an alternative to the spectral mapping theorem, the nonsingularity of in part (i) of the proof can also be demonstrated by the Bézout's identity for coprime polynomials.