Kronecker’s approximation theorem