Let $S_1=k[x_1,\ldots,x_n]$ and $S_2=k[y_1,\ldots,y_m]$ be two polynomial ringsover a field $k$ and $I\subset S_1$ and $J\subset S_2$ be two ideals. Let $S=k[x_1,\ldots,x_n,y_1,\ldots,y_m].$
Question Can we say $in_<(IS+JS)=(in_<IS+in_<JS)$ (all monomial orders are degree reverse lex in repective rings)?
(where $in_<I$ is the ideal generated by $\{in_<f:f\in I\}$)