state and prove dirichlets theorem