Implicitization of parametric curves and surfaces by using symmetric functions An equivalence for irreducible parametrization and its applications to the direct proof of an equivalence of the Puiseux pairs and the multiplicity sequences for irreducible curves 