Es sei w der Grenzvektor. Es ist
für alle n∈ℕ. Aufgrund der Stetigkeit (nach Fakt) von φ sind die Limiten (nach Fakt) vertauschbar, also
Daher ist w ein Fixpunkt von φ, also der Nullvektor oder ein Eigenvektor zum Eigenwert 1.