State/Divisibility corresponds to inequalities of prime exponents

 =Proof=