Kronecker theorem