Dirichlet's theorem on diophantine approximation