Weierstrass_preparation_theorem loading ...