“…This result is extremely useful due to the fact that it allows us to translate the problem of dealing with an infinite number of differential operators into a question of commutative algebra (this method is crowned by the elegant solution of the "connected" inverse problem in [27]). After Berthelot's seminal work on arithmetic D-modules and "Frobenius descent" [3], [4], [5], it becomes clear that the generalization of Katz's theorem should also hold. Nevertheless, the precise statement of the desired generalization, which is Theorem 11, is not directly available from [3], [4], [5], but is the subject of [6].…”