https://123dok.net/document/q05jxdp9-steinhaus-bergman-properties-infinite-products-finite-groups.html