Dirichlet's_approximation_theorem