https://123dok.net/document/zx563k8d-by-quasi-isometric-rigidity-and-diophantine-approximation.html