Definition 1.8.1.37.  Let n ∈ , m ∈ Div(n). For x ∈ , we define:
nm = x  :⇔  n = x ⋅ m
Well-definedness.  No proof.
References.