 This builds on the fact that "D""X" is a locally free sheaf of "O""X"-modules, albeit of infinite rank, as the above-mentioned "O""X"-basis shows.A "D""X"-module that is coherent as an "O""X"-module can be shown to be necessarily locally free (of finite rank).