https://123dok.net/document/q7w7726d-division-chains-and-quasi-euclidean-rings-anderson-juett.html