Let be a prime, be a positive integer, and be an integer. Then exactly divides (denoted as ) if divides and does not divide .