Existence of ∂-parameterized Picard–Vessiot extensions over fields with algebraically closed constants

The purpose of this short note is to establish the existence of ∂-parameterized Picard–Vessiot extensions for systems of linear difference-differential equations over difference-differential fields with an algebraically closed field of constants.