https://123dok.net/document/yr3j23ej-gruppi-abeliani-ridotti-ammettono-unica-topologia-compatta.html