Dirichlet approximation theorem