1: \begin{definition}\label{WPT}\index{Weierstrass Preparation Property}

2:  Let $A$ be a local subring of $R\lb x\rb$. We say that $A$ satisfies the \emph{Weierstrass Preparation Theorem} if for any $f\in A$ which is $x_n$-regular, there exist an integer $d$, a unit $u\in A$ and $a_1(x')$,..., $a_{d}(x')\in A\bigcap  (\m+(x'))R\lb x'\rb$ such that 

3:  $$f=u\left(x_n^d+a_1(x')x_n^{d-1}+\cdots+a_d(x')\right).$$

4:  In this case $f$ is necessarily regular of order $d$ with respect to $x_n$ and $u$ and the $a_i$ are unique. The polynomial $x_n^d+a_1(x')x_n^{d-1}+\cdots+a_d(x')$ is called the \emph{Weierstrass polynomial} of $f$.

5:  \end{definition}

6: