Observe that formula_103, where "k" is determined by formula_104, in particular formula_56 iff formula_106. It follows that formula_107 is permutation matrix corresponding to the permutation of "G" which sends each formula_108 to formula_109. (We denote by formula_107 matrix elements of which are values of elements of formula_111 at formula_92.)Therefore, we have formula_113. We see that "D" is a non-zero polynomial, therefore it may have only finite number of roots. Since we assume "F" is infinite, we can find formula_114 such that formula_115. Define