Degree bounds for Gröbner bases of modules

Let $F$ be a non-negatively graded free module over polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ generated by $m$ basis elements. $M$ submodule of elements in with degrees bounded $D$ and dim $F/M$=$r$. We prove that if is graded, the degree reduced Gr\"{o}bner for any term order $2\left[1/2((Dm)^{n-r}m+D) \right]^{2^{r-1}}$. If not bound $2\left[1/2((Dm)^{(n-r)^2}m+D) \right]^{2^{r}}$. This generalization Dub\'{e}(1990) Mayr-Ritscher(2013)'s bounds ideals ring.