Proposition 1.8.1.35.  Let a ∈ +, b ∈  such that a ∣ b, c ∈ . Then the following are equivalent:
No proof.