Multiplicity of a prime factor