Harjutus 1: Dirichlet' printsiip arvuteoorias