dirichlet'stheoremextended