kronecker basis theorem