Additive p-adic valuation