https://123dok.net/document/z1d39v9v-elementary-embeddings-in-torsion-free-hyperbolic-groups.html