Dabei ist
Für Q ∈ U ′ {\displaystyle {}Q\in U'} ist somit unter Verwendung von Fakt
Betrachten der k {\displaystyle {}k} -ten Komponente liefert