https://123dok.net/document/y8gp86ew-an-application-of-shadow-systems-to-mahler-conjecture.html