$q$-Oper Structures on a Formal Punctured Disc

Let $G$ be a connected reductive complex algebraic group and let $q\in {\mathbb{C}}^{\times }$ be not a root of unity. We prove that every $(G,q)$-connection on a formal punctured disc admits a $(G,q)$-oper structure.