https://123dok.net/document/qmjr55lw-language-diophantine-equations-results-rephrased-bounding-height-solutions.html