Für einen beliebigen Vektor v ∈ V {\displaystyle {}v\in V} ist Wegen
Iterative Anwendung dieser Beobachtung zeigt, dass Fakt (2) erfüllt ist.