Es sei w {\displaystyle {}w} der Grenzvektor. Es ist
für alle n ∈ N {\displaystyle {}n\in \mathbb {N} } . Aufgrund der Stetigkeit (nach Fakt) von φ {\displaystyle {}\varphi } sind die Limiten (nach Fakt) vertauschbar, also
Daher ist w {\displaystyle {}w} ein Fixpunkt