Kronecker's lemma