Let k$k$ be a field, and let A$A$ be a local, noetherian, complete k-algebra with residue field k$k$. Suppose that there are elements t_1,....t_n$t_1,\dots,t_n$ in the maximal ideal of A$A$ such that the map k[[X_1,....X_n]]---->A that$k[[X_1,\dots,X_n]] \rightarrow A$ that sends X_i$X_i$ to t_i$t_i$ for all i$i$ is injective. Is the dimension of A$A$ greater or equal than n$n$ ?