Weierstrass preparation theorem
= Weierstrass preparation theorem
{c}
{wiki}
Over a complete <local ring>, a <power series> whose first unit coefficient has index $d$ is a unit times a unique monic distinguished <polynomial> of degree $d$. Consequently its sufficiently small zeros, counted with multiplicity, are the zeros of that <polynomial>.