Higman, Neumann, and Neumann proved that this morphism is injective, that is, an embedding of G into G ∗ α {\displaystyle G*_{\alpha }} .
Higman、Neumann、Neumann證明了這個群同態是群同構，因而是G到G∗α中的嵌入。