Sei B := bild φ {\displaystyle {}B:=\operatorname {bild} \,\varphi } . Dann ist e H = φ ( e G ) ∈ B {\displaystyle {}e_{H}=\varphi (e_{G})\in B} . Es seien h 1 , h 2 ∈ B {\displaystyle {}h_{1},h_{2}\in B} . Dann gibt es g 1 , g 2 ∈ G {\displaystyle {}g_{1},g_{2}\in G} mit φ ( g 1 ) = h 1 {\displaystyle {}\varphi (g_{1})=h_{1}} und φ ( g 2 ) = h 2 {\displaystyle {}\varphi (g_{2})=h_{2}} . Damit ist h 1 ⋅ h 2 = φ ( g 1 ) ⋅ φ ( g 2 ) = φ ( g 1 ⋅ g 2 ) ∈ B {\displaystyle {}h_{1}\cdot h_{2}=\varphi (g_{1})\cdot \varphi (g_{2})=\varphi (g_{1}\cdot g_{2})\in B} . Ebenso gibt es für h ∈ B {\displaystyle {}h\in B} ein g ∈ G {\displaystyle {}g\in G} mit φ ( g ) = h {\displaystyle {}\varphi (g)=h} . Somit ist h − 1 = ( φ ( g ) ) − 1 = φ ( g − 1 ) ∈ B {\displaystyle {}h^{-1}=(\varphi (g))^{-1}=\varphi (g^{-1})\in B} .
