Continued fractions (basic theory)
Dirichlet's Theorem
Proof:
Lemma 1
Corollary 2
Corollary 3
Lemma 4
Corollary 5
Theorem 6