Kronecker's theorem provides deeper insight into the nature of rational and irrational numbers and real analysis. It is proved here using a wonderful application of Dirichlet's pigeonhole principle.
No download links available.