https://5dok.net/document/yr38rwdp-mersenne-primes-and-class-field-theory.html