If $\mathbb{Q}[t_1,\ldots, t_n] = A[x_1,\ldots, x_{n-1}]$ has it been proven that $A\cong\mathbb{Q}[t]$?