Formal power series preserve regular local rings ($\dim A[[x]]=\dim A+1$)

Let $(A,\mathfrak{m})$ be a regular local ring of Krull dimension $d$. Its formal power series ring $B=A[[x]]$ is Noetherian and local, with maximal ideal $I=\mathfrak{m}B+(x)$ and embedding dimension $d+1$. Since $I$ is generated by $d+1$ elements, the Krull height theorem gives $\dim B\le d+1$. For the reverse inequality choose a strict prime chain ${\mathfrak{p}}_0⊊\cdots ⊊{\mathfrak{p}}_d=\mathfrak{m}$ in $A$. Finite generation of each ${\mathfrak{p}}_i$ gives $B/{\mathfrak{p}}_{i}B\cong (A/{\mathfrak{p}}_i)[[x]]$, an integral domain, so each extended ideal is prime. The inclusions remain strict by contraction to $A$, and $\mathfrak{m}B⊊I$ adds one more step since $x\notin \mathfrak{m}B$. This proves $\dim B=d+1$, equal to its embedding dimension, and hence regularity.