https://9dok.net/document/yd7lo8dg-finite-dimensional-approximations-of-finitely-generated-groups.html