Redirecting to Kronecker's theorem