**Question I:** Let $\varphi\in C^{\infty}_c(\mathbb R\times \mathbb R)$. The support of $\varphi$
is contained in $A\times B$ where $A$ and $B$ are two compact subsets of
$\mathbb R$. Let $b_1$ and $b_2$ bump function with $b_1=1$ on $A$ and $b_2=1$
on $B$. Let $K_1$ the support of $b_1$ and $K_2$ the support of $b_2$. Thanks to Stone-Weierstrass theorem, we can find a sequence of polynomials
$\{P_n\}$ such that $\partial^{\alpha}P_n$ converges uniformly on $K_1\times K_2$ to
$\partial^{\alpha}\varphi$ for each $\alpha\in\mathbb N^2$. Now put $\varphi_n(x,y):=b_1(x)b_2(y)P_n(x,y)$. Then $\varphi_n\in C_c^{\infty}(\mathbb R)
\otimes C_c^{\infty}(\mathbb R)$ since we can write $$ P_n(x,y)
=\sum_{\alpha_1+ \alpha_2\leq d_n}a_{\alpha_1,\alpha_2}b_1(x)x^{\alpha_1}b_2(y)y^{\alpha_2},$$ where $d_n\in\mathbb N$ and
$a_{\alpha_1,\alpha_2}\in\mathbb C$. We can check that $\{\varphi_n\}$ converges
to $\varphi$ in $C_c^{\infty}(\mathbb R\times \mathbb R)$: $\operatorname{supp}
\varphi_n\subset K_1\times K_2$ and the Leibniz rule shows that for each $\alpha
\in\mathbb N^2$, the sequence $\{\partial^{\alpha}\varphi_n\}$ converges uniformly
on $K_1\times K_2$ to $\partial^{\alpha}\varphi$.

**Question II:** We show that $C_c^{\infty}(\mathbb R^2)$ is a dense subspace of $\mathcal S(\mathbb R^2)$. Let $\chi\in C_c^{\infty}(\mathbb R^2)$ such that $\chi(u)=1$
if $\lVert u\rVert \leq 1$, and put $\chi_R(x,y):=\chi\left(\frac xR,\frac yR\right)$.
Now let $\varphi\in \mathcal S(\mathbb R^2)$. We put $\varphi_R(x,y)=
\chi_R(x,y)\varphi(x,y)$, and we can see thanks to the Leibniz rule that
$\sup_{(x,y)\in\mathbb R^2}|x^{\alpha_1}y^{\alpha_2}\partial ^{\beta}
(\varphi(x,y)-\varphi_R(x,y))|\leq C_{\alpha,\beta}R^{-1}+\sup_{x^2+y^2\geq R}|
x^{\alpha_1}y^{\alpha_2}\partial^{\beta}\varphi(x,y)|$, hence that the
sequence $\{\varphi_n\}$ converge to $\varphi$ in $\mathcal S(\mathbb R^2)$.

Now, we can, for each $n$, find a sequence $\{\varphi_{n,k}\}_k\subset
C_c^{\infty}(\mathbb R)\otimes C_c^{\infty}(\mathbb R)\subset
\mathcal S(\mathbb R)\otimes \mathcal S(\mathbb R)$ which converges to
$\varphi_n$ in $C_c^{\infty}(\mathbb R^2)$. We fix $\varphi\in
\mathcal S(\mathbb R^2)$, $\varepsilon>0$ and $\alpha,\beta\in\mathbb N^2$.
We can find a $n$ such that $\sup_{(x,y)\in\mathbb R^2}|x^{\alpha_1}y^{\alpha_1}\partial^{\beta}(\varphi(x,y)-\varphi_n(x,y))|
\leq \frac{\varepsilon}2$, and since $\{\varphi_{n,k}\}$ converges to $\varphi_n$
in $C_c^{\infty}(\mathbb R^2)$, we can find a compact subset $K$ of $\mathbb R^2$ such that the sequence $\{\partial^{\beta}\varphi_{n,k}\}$ converges uniformly on $K$ to $\partial^{\beta}\varphi_n$, and since $K$ is compact
$$\sup_{(x,y)\in\mathbb R^2}|x^{\alpha_1}y^{\alpha_1}\partial^{\beta}(\varphi_n(x,y)-\varphi_{n,k}(x,y))|
\leq \sup_{(x,y)\in K}\lVert (x,y)\rVert
\sup_{(x,y)\in\mathbb R^2}|\partial^{\beta}(\varphi(x,y)-\varphi_n(x,y))|.$$
We pick $k$ such that $$\sup_{(x,y)\in\mathbb R^2}|\partial^{\beta}(\varphi(x,y)-\varphi_n(x,y))|\leq \dfrac{\varepsilon}{2\sup_{(x,y)\in K}\lVert (x,y)\rVert},$$ therefore
$$\sup_{(x,y)\in\mathbb R^2}|x^{\alpha_1}y^{\alpha_1}\partial^{\beta}(\varphi(x,y)-\varphi_{n,k}(x,y))|\leq\varepsilon.$$