Weierstrass preparation theorem