https://123dok.net/document/zpnmw9r0-develop-natural-applications-theorem-diophantine-approximation-discretization-linear.html