“…Also, the k i 's must be chosen in a way that k i+1 = Frac k i [x, α, δ], a skew-field of an Ore extension. In this way, a generalization of the Miyata's Theorem [38] for polynomial extensions can be used: [3] Let K be a field (commutative or not), α an automorphism and δ a α-derivation of K . Let S = K [x, α, δ] be an Ore extension, with skew-field of fractions D. Let G be a subgroup of ring automorphisms of S, not necesserely finite, such that G(K ) ⊆ K .…”