Proposition 1.8.1.34.  Let m, n ∈ + such that m ∣ n. Then:
No proof.
References.