Kronecker's theorem on diophantine approximation