Let (V,0)⊂(Cn,0) be a germ of a complex hypersurface and let f:(Cn,0)→(Cn,0) be a germ of a finite holomorphic mapping. If germs (V,0) and W:=(F−1(V)),0) are irreducible and with isolated singularities, then μ(F−1(V))≥μ(V), where μ denotes the Milnor number.