“…The proof of Theorem 4.1 is based on a theorem by L. Hรถrmander [23] and is proved by a standard scheme, see, for instance, [24]. We denote by ๐ [๐ ร ๐] the set of matrices with ๐ rows and ๐ columns, the entries of which are polynomials.…”