kronecker-weyl theorem