Dies folgt aus Fakt, angewandt auf die Bildgruppe U = bild φ ⊆ H {\displaystyle {}U=\operatorname {bild} \varphi \subseteq H} .
